private void removeResult(DatedObject obj) {
   resultSet.remove(obj);
   fireResultRemoved(obj);
 }
 private void addResult(DatedObject obj) {
   resultSet.add(obj);
   fireResultAdded(obj);
 }