Update random-java.html