Update tomcat to 8.0.12