Javadoc for 1.3