java-compiler-bug