1 diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/encoding/PackageProperties.java Cryptix-asn1-20011119/cryptix/asn1/encoding/PackageProperties.java
2 --- Cryptix-asn1-20011119-orig/cryptix/asn1/encoding/PackageProperties.java 1999-06-20 23:16:33.000000000 +0200
3 +++ Cryptix-asn1-20011119/cryptix/asn1/encoding/PackageProperties.java 2005-05-30 10:12:36.000000000 +0200
5 out.println("# ----- Begin "+PACKAGE_NAME+" properties -----");
\r
8 - Enumeration enum = properties.propertyNames();
\r
9 - while (enum.hasMoreElements()) {
\r
10 - key = (String) enum.nextElement();
\r
11 + Enumeration enum_names = properties.propertyNames();
\r
12 + while (enum_names.hasMoreElements()) {
\r
13 + key = (String) enum_names.nextElement();
\r
14 value = getProperty(key);
\r
15 out.println(key + " = " + value);
\r
17 diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/lang/PackageProperties.java Cryptix-asn1-20011119/cryptix/asn1/lang/PackageProperties.java
18 --- Cryptix-asn1-20011119-orig/cryptix/asn1/lang/PackageProperties.java 1999-06-20 23:17:01.000000000 +0200
19 +++ Cryptix-asn1-20011119/cryptix/asn1/lang/PackageProperties.java 2005-05-30 10:13:05.000000000 +0200
21 out.println("# ----- Begin "+PACKAGE_NAME+" properties -----");
\r
24 - Enumeration enum = properties.propertyNames();
\r
25 - while (enum.hasMoreElements()) {
\r
26 - key = (String) enum.nextElement();
\r
27 + Enumeration enum_names = properties.propertyNames();
\r
28 + while (enum_names.hasMoreElements()) {
\r
29 + key = (String) enum_names.nextElement();
\r
30 value = getProperty(key);
\r
31 out.println(key + " = " + value);
\r
33 diff -uNr Cryptix-asn1-20011119-orig/cryptix/asn1/lang/Parser.java Cryptix-asn1-20011119/cryptix/asn1/lang/Parser.java
34 --- Cryptix-asn1-20011119-orig/cryptix/asn1/lang/Parser.java 1999-06-20 23:18:24.000000000 +0200
35 +++ Cryptix-asn1-20011119/cryptix/asn1/lang/Parser.java 2005-05-30 10:12:36.000000000 +0200
37 jj_expentry[i] = jj_lasttokens[i];
39 boolean exists = false;
40 - for (java.util.Enumeration enum = jj_expentries.elements(); enum.hasMoreElements();) {
41 - int[] oldentry = (int[])(enum.nextElement());
42 + for (java.util.Enumeration enum_elem = jj_expentries.elements(); enum_elem.hasMoreElements();) {
43 + int[] oldentry = (int[])(enum_elem.nextElement());
44 if (oldentry.length == jj_expentry.length) {
46 for (int i = 0; i < jj_expentry.length; i++) {