tomcatCtl bug fixes.