diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/encoding/PackageProperties.java Cryptix-asn1-20011119/cryptix/asn1/encoding/PackageProperties.java --- Cryptix-asn1-20011119-orig/cryptix/asn1/encoding/PackageProperties.java 1999-06-20 23:16:33.000000000 +0200 +++ Cryptix-asn1-20011119/cryptix/asn1/encoding/PackageProperties.java 2005-05-30 10:12:36.000000000 +0200 @@ -112,9 +112,9 @@ out.println("# ----- Begin "+PACKAGE_NAME+" properties -----"); out.println("#"); String key, value; - Enumeration enum = properties.propertyNames(); - while (enum.hasMoreElements()) { - key = (String) enum.nextElement(); + Enumeration enum_names = properties.propertyNames(); + while (enum_names.hasMoreElements()) { + key = (String) enum_names.nextElement(); value = getProperty(key); out.println(key + " = " + value); } diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/lang/PackageProperties.java Cryptix-asn1-20011119/cryptix/asn1/lang/PackageProperties.java --- Cryptix-asn1-20011119-orig/cryptix/asn1/lang/PackageProperties.java 1999-06-20 23:17:01.000000000 +0200 +++ Cryptix-asn1-20011119/cryptix/asn1/lang/PackageProperties.java 2005-05-30 10:13:05.000000000 +0200 @@ -109,9 +109,9 @@ out.println("# ----- Begin "+PACKAGE_NAME+" properties -----"); out.println("#"); String key, value; - Enumeration enum = properties.propertyNames(); - while (enum.hasMoreElements()) { - key = (String) enum.nextElement(); + Enumeration enum_names = properties.propertyNames(); + while (enum_names.hasMoreElements()) { + key = (String) enum_names.nextElement(); value = getProperty(key); out.println(key + " = " + value); } diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/lang/Parser.java Cryptix-asn1-20011119/cryptix/asn1/lang/Parser.java --- Cryptix-asn1-20011119-orig/cryptix/asn1/lang/Parser.java 1999-06-20 23:18:24.000000000 +0200 +++ Cryptix-asn1-20011119/cryptix/asn1/lang/Parser.java 2005-05-30 10:12:36.000000000 +0200 @@ -2395,8 +2395,8 @@ jj_expentry[i] = jj_lasttokens[i]; } boolean exists = false; - for (java.util.Enumeration enum = jj_expentries.elements(); enum.hasMoreElements();) { - int[] oldentry = (int[])(enum.nextElement()); + for (java.util.Enumeration enum_elem = jj_expentries.elements(); enum_elem.hasMoreElements();) { + int[] oldentry = (int[])(enum_elem.nextElement()); if (oldentry.length == jj_expentry.length) { exists = true; for (int i = 0; i < jj_expentry.length; i++) {