Bug 2345 [Editor Mgmt] Open with a different type of editor has no effect if file already open (1GEWMSQ)
Reproduce the steps in: 1GEWMOZ: ITPUI:WIN2000 - Scripted resource editor example opens on XML files by default - new basic project - new file test.xml - the editor used is the scripted resource editor example, which totally ignores the XML file content - select test.xml in Navigator - choose Open With... / Default Text Editor - nothing happens; it's reactivating the scripted resource editor example Searching for an existing open file should also consider editor types. It should open a new editor on the file, because the editor type is different. NOTES:
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/OpenWithMenu.java
*		the menu is selected
     */
    public OpenWithMenu(IWorkbenchPage page) {
        this(page, null);
    }
    /**
     * Constructs a new instance of <code>OpenWithMenu</code>.  
     *
     * @param page the page where the editor is opened if an item within
     *		the menu is selected
     * @param file the selected file
     */
    public OpenWithMenu(IWorkbenchPage page, IAdaptable file) {
        super(ID);
        this.page = page;
        this.file = file;
    }
    /**
     * Returns an image to show for the corresponding editor descriptor.
     *
     * @param editorDesc the editor descriptor, or null for the system editor
     * @return the image or null
     */
    private Image getImage(IEditorDescriptor editorDesc) {
        ImageDescriptor imageDesc = getImageDescriptor(editorDesc);
        if (imageDesc == null) {
            return null;
        }
        Image image = (Image) imageCache.get(imageDesc);
        if (image == null) {