Index: ui/editors/IvyEditor.java
===================================================================
--- ui/editors/IvyEditor.java	(révision 633150)
+++ ui/editors/IvyEditor.java	(copie de travail)
@@ -171,7 +171,7 @@
                 public void run() {
                     IWorkbenchPage[] pages = getSite().getWorkbenchWindow().getPages();
                     for (int i = 0; i < pages.length; i++) {
-                        if (((FileEditorInput) xmlEditor.getEditorInput()).getFile().getProject()
+                        if (((IFileEditorInput) xmlEditor.getEditorInput()).getFile().getProject()
                                 .equals(res)) {
                             IEditorPart editorPart = pages[i]
                                     .findEditor(xmlEditor.getEditorInput());