Version bump for tomcat. Fixes #20.