Hack to get the tomcat service running