Javadoc for 1.2