void () { super.disposeUIResources(); if (myFilePointersDisposable != null) { Disposer.dispose(myFilePointersDisposable); } for (PyRootTypeProvider provider : myRootTypeProviders) { provider.disposeUIResources(myModule); } }