Fix typo in javadocs, fix build-javadocs not adding new files