Update the whole webstart web-root in update-exec.sh