+ public static class JavaStringEnumeration extends Enumeration {
+ protected final java.util.Enumeration e;
+ public JavaStringEnumeration(java.util.Enumeration e) { this.e = e; }
+ protected boolean _hasNext() { return e.hasMoreElements(); }
+ protected JS _next() { return JSU.S(e.nextElement().toString()); }
+ }
+