release script fixed to work with releasing to github: the javadoc

directory was incorrect