I said I wasn’t using Tomcat 8 (in the comment that I deleted), but I’m actually not sure. I will check.