Bug 203640 [EditorMgmt] IDE.openEditor(IWorkbenchPage, IMarker, boolean) should look for an editor that matches both editor input and editor ID if o.e.ui.ide.IDE.EDITOR_ID_ATTR is set on the marker
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDE.java
* @since 3.1
	 */
	public static IEditorDescriptor getDefaultEditor(IFile file,
			boolean determineContentType) {
		
		IEditorRegistry editorReg = PlatformUI.getWorkbench()
				.getEditorRegistry();
		try {
			String editorID = file.getPersistentProperty(EDITOR_KEY);
			if (editorID != null) {
				IEditorDescriptor desc = editorReg.findEditor(editorID);
				if (desc != null) {
					return desc;
				}
			}
		} catch (CoreException e) {
			
		}
		IContentType contentType = null;
		if (determineContentType) {
			contentType = getContentType(file);
		}
		
		return editorReg.getDefaultEditor(file.getName(), contentType);
	}
	/**
	 * Extracts and returns the <code>IResource</code>s in the given
	 * selection or the resource objects they adapts to.
	 * 
	 * @param originalSelection