Update javadoc.sh and documents.html