Final update of Javadoc.