Styling changes to the Java Docs