96979899100101102103104105106
} console = null; } console = new Console(settings); console.addCompletion(new ForgeCompletion(this)); console.setConsoleCallback(new ForgeConsoleCallback(this)); try { console.setPrompt(createInitialPrompt()); } catch (IOException io)