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
* recent workspaces.
		 * </p>
		 * 
		 * @since 3.1
		 */
		public static final String RECENT_WORKSPACES_PROTOCOL = "RECENT_WORKSPACES_PROTOCOL"; 
	}
	/**
	 * A saveable filter that selects savables that contain resources that
	 * are descendants of the roots of the filter.
	 * @since 3.3
	 *
	 */
	private static class SaveFilter implements ISaveableFilter {
		private final IResource[] roots;
		/**
		 * Create the filter
		 * @param roots the save roots
		 */
		public SaveFilter(IResource[] roots) {
			this.roots = roots;
		}
		
		/* (non-Javadoc)
		 * @see org.eclipse.ui.ISaveableFilter#select(org.eclipse.ui.Saveable, org.eclipse.ui.IWorkbenchPart[])
		 */
		public boolean select(Saveable saveable,
				IWorkbenchPart[] containingParts) {
			if (isDescendantOfRoots(saveable)) {
				return true;