package de.vksi.c4j.systemtest.config.contractsdirectoryasjarfile;
// commented out to force the ContractPackageScanner to find it in the jar
//@Contract
//public class ContractClassInJarFile extends TargetClassUsingContractInJarFile {
// @Override
// public void method(int arg) {
// if (preCondition()) {
// assert arg > 0;
// }
// }
//}