if (console != null) console.clearLine((int) console.getCursor().getY());
if (console != null) { console.clearLine(console.getCursorY()); }
	private void redisplay() {		//  clear the line		if (console != null)			console.clearLine((int) console.getCursor().getY());		//  display the prompt		out.print(prompt());		//  display the required history/current line		if (historyIndex == -1)			currentLine = newestLine;		else			currentLine = history.getCommand(historyIndex);		out.print(currentLine);	}