Thu, 06 Jun 2013 15:38:42 +0100
Merge
1 UnicodeNewline.java:11: cannot find symbol
2 xyzzy plugh; // error should be HERE
3 ^
4 symbol: class xyzzy
5 location: class UnicodeNewline
6 1 error