Switching to Cargo in order to instrument Jacoco in Tomcat7