Adds needed jvm option for Cobertura: UseSplitVerifier.