Köszi, valami ilyesmire gondolok én is (végeredményben ez is java és a java alapú, ha jól látom... annak meg vannak ilyen viccei néha)

Update: mégis jó helyen keresgéltem, csak rosszul!
Nem Ctrl, hanem Ctrl-Alt, a többi stimmel.
Tankjú!