@Override
 public int hashCode() {
   return source.hashCode();
 }
 @Override
 public boolean equals(Object obj) {
   return (obj instanceof HistoryPageSourceWorkbenchPart)
       && source.equals(((HistoryPageSourceWorkbenchPart) obj).getSource());
 }