179180181182183184185186
public int getPageNum() { return pageNum; } public List<E> sort(String crit) { List<E> res = list(); Collections.sort(res, new IDOComparator(crit)); return res; }