Bug fix tomcatCtl.sh