Update provesJava.java