Tweaks to javadoc update script