Adds Javadoc (corresponding to commit 43ce893da9)