Mi sa che c'è anche un terzo caso non inquadrato al momento, dato che il codice l'ho copiato riscrivendolo (anche se gli import sono opera mia poiché nel'esercizio originale si parte con le dichiarazioni di classe; inoltre uso Notepad++ e il prompt, quindi sto già compilando da riga di comando. Visualizzando anche i caratteri non stampabili, non pare ce ne siano di più strani di quelli di altri file .java che funzionano.
Senza reinstallare JDK, posso verificare se include il package java.util.function?