void () { FileEditor fileEditor = editorInfo.getFileEditor(); if (fileEditor instanceof TextEditor) { Editor editor = ((TextEditor)fileEditor).getEditor(); FileDocumentManager.getInstance().reloadFromDisk(editor.getDocument()); } }