Javadoc for 1.7