}
}
ArgumentsParser argParser = new ArgumentsParser(s);
argParser.setMetaclassFactory(new ArgMetaclassFactory());
argParser.doParse();
options = argParser.getOptions();
targets = argParser.getTargets();
if (targets.isEmpty())
{
System.err.println("Java Contract Suite: list of source files empty, reading from standard input.");