Bug 123989 Should ResourceChangeValidator#validateChange take a progress monitor
Since the validation might take some time it might make sense to pass a progress monitor into validateChange.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDE.java
* @exception PartInitException if the editor could not be initialized
     */
    public static IEditorPart openEditor(IWorkbenchPage page, IMarker marker,
            boolean activate) throws PartInitException {
        
        if (page == null || marker == null) {
            throw new IllegalArgumentException();
        }
        
        if (!(marker.getResource() instanceof IFile)) {
            IDEWorkbenchPlugin
                    .log("Open editor on marker failed; marker resource not an IFile"); 
            return null;
        }
        IFile file = (IFile) marker.getResource();
        
        IEditorRegistry editorReg = PlatformUI.getWorkbench()
                .getEditorRegistry();
        IEditorDescriptor editorDesc = null;
        try {
            String editorID = (String) marker.getAttribute(EDITOR_ID_ATTR);
            if (editorID != null) {
                editorDesc = editorReg.findEditor(editorID);
            }
        } catch (CoreException e) {
            
        }
        
        IEditorPart editor = null;
        if (editorDesc == null) {