final BoundedRangeStatistic bs = (BoundedRangeStatistic)stc;
return ( s.append(bs.getUpperBound()).append(SEP).append(bs.getLowerBound()).toString() );
}
private String timeStatisticSpecificString() {
final StringBuffer s = new StringBuffer();
final TimeStatistic ts = (TimeStatistic)stc;
return ( s.append(ts.getMaxTime()).append(SEP).append(ts.getMinTime()).append(SEP).append(ts.getTotalTime()).toString() );
}