Jenkins: comments regarding jenkins init.sh