Temporarily pinning tomcat version to 0.15.12