if (work1==work2) {
if (o1==o2) {
		public int compare(Object o1, Object o2) {		    // assume these are map.entry's		    int work1 = ((WorkInfo)map.get(o1)).totalWork();		    int work2 = ((WorkInfo)map.get(o2)).totalWork();		    if (work1==work2) {			return 0;		    } else if (work1 < work2) {			return -1;		    } else {			return 1;		    }		}