- if (args.length() > 0) {
- Enumeration e = ((JS)args.elementAt(0)).keys();
- while(e.hasMoreElements()) {
- JS key = (JS)e.nextElement();
- appendObject(((JSString)key).coerceToString(), ((JS)args.elementAt(0)).get(key), content);
+ if (args.size() > 0) {
+ JS.Enumeration e = ((JS)args.get(0)).keys();
+ while(e.hasNext()) {
+ JS key = (JS)e.next();
+ appendObject(((JSString)key).coerceToString(), ((JS)args.get(0)).get(key), content);