Description Friederike Jolk 2015-08-04 05:58:15 EDT

Created attachment 255613 [details]
small Java code example

When a comment contains a Unicode character (e.g. in a commented code line printing German strings with umlauts), formatting the source code results in the deletion of the following line break - which is rather unfortunate, if the following line happens to be an (uncommented) code line.
(A following empty line prevents the line break deletion after the comment.)

Formatting the attached Java file results in this new comment line:
// comment with unicode character \u1234 int j = 0;