--- jflex-1.4.3/src/JFlex/LexScan.java
+++ jflex-1.4.3/src/JFlex/LexScan.java
@@ -1642,9 +1642,6 @@
     }
   }
 
-  /** denotes if the user-EOF-code has already been executed */
-  private boolean zzEOFDone;
-
   /* user code: */
   int balance = 0;
   int commentbalance = 0;