format and javadoc