Re-organized tomcat settings into a tomcat package. Mime settings and
session settings embody two different configuration styles. Which is
more correct?

Mime mapping is way more succinct. As long as it functions properly,
I'll simplify Tomcat session config in the same way.