public boolean equals(Object o) {
   if (o instanceof GraphicalEditorInput) {
     return ((GraphicalEditorInput) o).m_input == m_input;
   } else if (o instanceof IFileEditorInput) {
     return ((IFileEditorInput) o).getFile().equals(m_input.getFile());
   }
   return false;
 }