More work on the Javadoc.