public KnowledgeBaseCollection() { _mgr = KBmanager.getMgr(); _it = _mgr.getKBnames().iterator(); }
public PreferenceCollection() { _mgr = KBmanager.getMgr(); }
public KnowledgeBaseCollection() { _mgr = KBmanager.getMgr(); _it = _mgr.getKBnames().iterator(); }
public PreferenceCollection() { _mgr = KBmanager.getMgr(); }