@Override
  public IOConsoleInputStream getInputStream() {
      final IOConsoleInputStream str = super.getInputStream();
      Display.getDefault().syncExec(new Runnable(){
	@Override
	public void run() {
		str.setColor(SharedResourceManager.getColor(ColorStreamType.USER_INPUT.getRgb()));
	}
});
      return str;
  }
 

private static BufferedReader getConsoleReader() {
	final IConsoleManager consoleManager = ConsolePlugin.getDefault().getConsoleManager();
	final List<IConsole> tlcConsole = Arrays.asList(consoleManager.getConsoles()).stream()
			.filter(c -> "TLC-Console".equals(c.getName())).collect(Collectors.toList());
	if (!tlcConsole.isEmpty()) {
		final IConsole iConsole = tlcConsole.get(0);
		if (iConsole instanceof IOConsole) {
			IOConsoleInputStream inputStream = ((IOConsole) iConsole).getInputStream();
			return new BufferedReader(new InputStreamReader(inputStream));
		}
	}
	return null;
}