The Java language specification requires that all comments that start
with '//' ends with a new line character. So strictly speaking, a sequence
of characters that starts with '//' and ends with the end of file <EOF>
without a preceding new line character is an illegal comment in a Java
program.

This is a difference between the compiler and the spec, it seems appropriate
to fix the spec in this case, but I am filing it as a bug report here because
I don't know how to file a bug report on the spec.

Or do others disagree with me and believe it is a bug with the compiler?