[Bug 403310] Tomcat startup script uses wrong java.io.tmpdir