Tomcat 9.0.12

[HelioHost]

The Tommy server has been updated to Tomcat version 9.0.12. This upgrade took a little longer than we expected because there is a bug in the latest version 9.0.13 https://www.mail-archive.com/dev@tomcat.apache.org/msg129523.html which would break our system. After we downgraded back to 9.0.12 it looks like everything is working now. Everyone who had java enabled was copied over to the new Tomcat, and all of the deployed .war servlets should be copied over as well. Let us know if you find anything behaving oddly. As long as everything looks good we will update Johnny's Tomcat 8.5 as well eventually, but for now if you want the latest and greatest version of Tomcat 9.0 you'll need to move your account to the Tommy server.