minor improvement to jboss-setup install script