Alternate formatting for javadoc