Update push-javadoc-to-gh-pages.sh