small change

I feel /opt/tomcat is better