--- java/src/org/apache/env/Which.java.orig 2007-03-19 17:37:21.000000000 -0400 +++ java/src/org/apache/env/Which.java 2007-03-19 17:38:50.000000000 -0400 @@ -289,12 +289,14 @@ if (null == hash) return; - Enumeration enum = hash.keys(); + //Patch changes name to enumer since enum is a + //reserved keyword in java 5.0 + Enumeration enumer = hash.keys(); Vector v = new Vector(); - while (enum.hasMoreElements()) + while (enumer.hasMoreElements()) { - Object key = enum.nextElement(); + Object key = enumer.nextElement(); String keyStr = key.toString(); Object item = hash.get(key); @@ -311,12 +313,12 @@ } } - enum = v.elements(); + enumer = v.elements(); - while (enum.hasMoreElements()) + while (enumer.hasMoreElements()) { - String n = (String) enum.nextElement(); - Hashtable h = (Hashtable) enum.nextElement(); + String n = (String) enumer.nextElement(); + Hashtable h = (Hashtable) enumer.nextElement(); reportHashtable(h, n, out); }