Fix github-checkin of javadocs
Tidy project