fixed push-javadoc script