Home
last modified time | relevance | path

Searched refs:userLibraryManager (Results 1 – 1 of 1) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/
H A DJavaModelManager.java1608 private UserLibraryManager userLibraryManager; field in JavaModelManager
2790 if (MANAGER.userLibraryManager == null) { in getUserLibraryManager()
2793 …if (MANAGER.userLibraryManager == null) { // ensure another library manager was not set while crea… in getUserLibraryManager()
2794 MANAGER.userLibraryManager = libraryManager; in getUserLibraryManager()
2798 return MANAGER.userLibraryManager; in getUserLibraryManager()