Problem był taki, że nie zapisało się żadne kolorowanie składni dla tego bloczku kodu (co jest teoretycznie niemożliwe bo zawsze jakieś się ustawia), nie mam pojęcia dlaczego. Po edycji i wybraniu ponownie Java zaczęło już działać. Wcześniej coś takiego raczej się nie zdarzało (nie przypominam sobie), więc jedyne co możemy robić to na razie dalej obserwować czy się powtórzy i w jakich okolicznościach.