When printing special characters like \n in jline 2.13 using a ConsoleReader it prints out weird characters like ^J or ^M. Has the usage changed compared to 2.12.1? When using jline 2.12.1 this code was working fine (I'm on Linux):

ConsoleReader reader = new ConsoleReader();
reader.println(ConsoleReader.RESET_LINE + "\n");
reader.flush();

With jline 2.12.1 this prints just an empty line correctly. However with jline 2.13 this prints the following:
^M^J instead of the empty line.

Any ideas?