文件触摸后编辑器可能无法刷新

Question

我们为Eclipse开发了一个插件，我的问题是当我尝试用 touch（） 刷新我打开的编辑器时，它有时候不会刷新一些它们，但是在我在代码中放置一个空格（或任何修改文件的东西）之后（在未刷新的空间中）它会在它之后自动刷新。

我的文件刷新代码如下：

IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow(); 
if(window != null){
    IWorkbenchPage page = window.getActivePage();

        if(page != null){
            IEditorReference[] editRefs = page.getEditorReferences();
            for(IEditorReference e : editRefs){
                try{
                    IFile file = (IFile) e.getEditorInput().getAdapter(IFile.class);
                    if(file != null){
                        file.touch(null);
                    }
                } catch(CoreException exception) {
                    exception.printStackTrace();
                }
            }
        }
    }

之前有没有人见过这个问题？有什么建议吗？