fix problem with CodeCoverage plugin in tomcat production mode