JBIDE-13336 publish.sh should use 700 for JBDS 7, not 610 >> master