Final edits to comments and java docs