JBIDE-16521 - zipped publish checkbox in server editor was broken

JBIDE-16521 - zipped publish checkbox in server editor was broken