Additional filter possibility for BatchDiffer so previously faulty cases can quickly be regenerated.
Additional filter possibility for BatchDiffer so previously faulty cases can quickly be regenerated.

git-svn-id: c0267665a169db5dcedcb03e6f59a7ba0e44e6f2@744858 13f79535-47bb-0310-9956-ffa450edef68

Distrotech/fop,StrategyObject/fop,argv-minus-one/fop,Distrotech/fop,spepping/fop-cs,spepping/fop-cs,Distrotech/fop,StrategyObject/fop,argv-minus-one/fop,StrategyObject/fop,Distrotech/fop,argv-minus-one/fop,argv-minus-one/fop,spepping/fop-cs,argv-minus-one/fop,StrategyObject/fop,StrategyObject/fop,spepping/fop-cs