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