void (@NotNull SourceFolder sourceFolder) { final JpsSourceFolder folder = (JpsSourceFolder)sourceFolder; mySourceFolders.remove(folder); myModule.removeSourceRoot(folder.getSourceRoot().getUrl(), folder.getSourceRoot().getRootType()); Disposer.dispose(folder); }