compiled in Eclipse, but not on commandline (javac bug?)