code: boolean pred(final WorkItem w) {
  	if (w.dev == PollThread.dev_to_del) {
  	    if (w.type == PollThread.type_to_del) {
  		return w.name.equals(PollThread.name_to_del);
  	    } else {
  		return false;
  	    }
  	} else {
  	    return false;
  	}
      }
docs: ===============================================================