Update javacore.java