Minor changes to the java doc