/AbstractTimedResult.java/1.2/Mon Jan  3 12:29:37 2011//
/CustomizableDelta.java/1.3/Mon Jan  3 12:29:37 2011//
/CustomizableTimedResult.java/1.3/Mon Jan  3 12:29:37 2011//
/Delta.java/1.2/Mon Jan  3 12:29:37 2011//
/DeltaImpl.java/1.2/Mon Jan  3 12:29:37 2011//
/FilteringTimedResult.java/1.2/Mon Jan  3 12:29:37 2011//
/Results.java/1.2/Mon Jan  3 12:29:37 2011//
/TimedResult.java/1.3/Mon Jan  3 12:29:37 2011//
