java-doc changes