<icontract srcdir="${build.src}" instrumentdir="${build.instrument}" repositorydir="${build.repository}" builddir="${build.instrclasses}" updateicontrol="true" classdir="${build.classes}" controlfile="control" targets="targets" verbosity="error*,warning*" quiet="true" > <classpath refid="compile-classpath"/> </icontract>