SimanticsConsole sc = new SimanticsConsole();
ConsolePlugin.getDefault().getConsoleManager().addConsoles(new SimanticsConsole[] {sc});
SimanticsConsole sc = new SimanticsConsole();
ConsolePlugin.getDefault().getConsoleManager().addConsoles(new SimanticsConsole[] {sc});