run_tomcat_server.bat echo fix