Fix Javadoc for Jenkins... maybe