--- ./src/JFlex/StateSet.java.orig	2007-04-02 11:04:11.000000000 -0400

+++ ./src/JFlex/StateSet.java	2007-04-02 11:04:38.000000000 -0400

@@ -276,14 +276,14 @@

   public String toString() {

-    StateSetEnumerator enum = states();

+    StateSetEnumerator enumer = states();

     StringBuffer result = new StringBuffer("{");

-    if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());

+    if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());

-    while ( enum.hasMoreElements() ) {

-      int i = enum.nextElement();

+    while ( enumer.hasMoreElements() ) {

+      int i = enumer.nextElement();

       result.append( ", "+i);

     }