Javadoc update, generated using the Maven plugin