appendConsoleLine(ConsoleDocument.DELIMITER, Policy.bind("Console.preExecutionDelimiter")); appendConsoleLine(ConsoleDocument.COMMAND, line);
appendConsoleLines(ConsoleDocument.DELIMITER, Policy.bind("Console.preExecutionDelimiter")); appendConsoleLines(ConsoleDocument.COMMAND, line);
		public void commandInvoked(String line) {			commandStarted = System.currentTimeMillis();			appendConsoleLine(ConsoleDocument.DELIMITER, Policy.bind("Console.preExecutionDelimiter")); //$NON-NLS-1$			appendConsoleLine(ConsoleDocument.COMMAND, line);		}