fix push-javadoc-to-gh-pages