Javadoc + jenkins fix