public DataSet copy() { DataSet ds = new DataSet(specification); foreach (Example e in examples) { ds.add(e); } return ds; }