Documentation and new Javadoc setting