}
return (ret);
}
protected Pair<WorkloadStatistics, File> openWorkloadStats() {
IOFileFilter filter = new IOFileFilter("Workload Stats", "stats");
Pair<WorkloadStatistics, File> ret = null;
try {
String path = showLoadDialog("Open Workload Statistics File", ".", filter);
if (path != null) {
WorkloadStatistics new_stats = new WorkloadStatistics(args.catalog_db);