gentoo-overlay/dev-java/qdox/files/jflex-1.6.1.patch

https://github.com/jflex-de/jflex/commit/f312d563777d907bbb12d1e2ac79835ba83ca53c

--- a/src/grammar/skeleton.inner	2012-11-04 16:16:30.000000000 +0000
+++ b/src/grammar/skeleton.inner	2015-11-02 20:57:37.566057363 +0000
@@ -407,15 +407,15 @@
       zzMarkedPos = zzMarkedPosL;
 --- char count update
 
---- actions
-        default: 
-          if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
-            zzAtEOF = true;
+      if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
+        zzAtEOF = true;
 --- eofvalue
-          } 
-          else {
+      } 
+      else {
+--- actions
+          default: 
 --- no match
-          }
+        }
       }
     }
   }