void () { if (searchManager != null) { searchManager.dispose(); } if (fileManager != null) { Disposer.dispose(fileManager); } editorModel.dispose(); vFile.putUserData(FileDocumentManagerImpl.HARD_REF_TO_DOCUMENT_KEY, null); }