Perché è ansible eseguire codice Java nei commenti con determinati caratteri Unicode?

Il seguente codice produce l’output “Hello World!” (no davvero, provalo).

public static void main(String... args) { // The comment below is not a typo. // \u000d System.out.println("Hello World!"); } 

La ragione di ciò è che il compilatore Java analizza il carattere Unicode \u000d come una nuova riga e viene trasformato in:

 public static void main(String... args) { // The comment below is not a typo. // System.out.println("Hello World!"); } 

Così risultante in un commento che viene “eseguito”.

Dal momento che questo può essere usato per “hide” il codice dannoso o qualsiasi altro programmatore malvagio possa concepire, perché è permesso nei commenti ?

Perché è consentito dalle specifiche Java?