Minor updates to Java doc.