Tomcat config adapted for OpenShift (deploy script fix).