186187188189190191192193194195196
Iterator it = names.iterator(); while (it.hasNext()) { String name = String.valueOf(it.next()); Object obj = ctx.get(name); objout.writeObject(obj); } objout.close(); } break;
131415161718192021
* Displays version information. */ public void process(String exename, String[] params) throws Exception { BufferObjectWriter oout = new BufferObjectWriter(getStdOut()); oout.writeObject(Version.getDescription()); oout.close(); } }