103104105106107108109110111
throws ConsoleException { try { devMan = InitialNaming.lookup(DeviceManager.NAME); openInput(devMan); } catch (NameNotFoundException ex) { throw new ConsoleException("DeviceManager not found", ex); } current = null; }