JDK bug found