Generate Javadoc from scratch to fix formatting