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; }