Update push_javadoc_to_gh_page.sh