Code coverage deactivated by default (jenkins issues)