Javadoc formatting