Checked javadoc