Mental note
Tomcat likes to cache things. I’ve just spent most of the afternoon trying to fix a bug which I thought was unfindable. I’d fix it ages ago, but Tomcat had remembered it, oh yes. Probably shouldn’t have been using a jar file at this point. I’m sticking to classes from now on.