Adjust tomcatCtl.sh