Do not export tomcat; fix publish-plugin