java.util.Scanner has very interesting definition of line break:

LINE_SEPARATOR_PATTERN = "\r\n|[\n\r\u2028\u2029\u0085]";

So its nextLine() method cannot read (char)133.

Edited by author 11.12.2008 02:40