@Override
 public void doReportBug(BugInstance bugInstance) {
   if (bugCollection.add(bugInstance)) notifyObservers(bugInstance);
 }