Fixes in tomcat.bsh script.