Removing JavaDocs from master in favour of GitHub pages.