6869707172737475767778
TextEditor te = new TextEditor(console); File f = new File(argv[0]); te.ro = argv.length == 2 && "ro".equals(argv[1]); te.loadFile(f); } catch (Exception e) { manager.unregisterConsole(console); throw e; } } public TextEditor(TextConsole console) {