-
-
Method Summary
-
Methods inherited from class java.util.Properties
getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
-
Methods inherited from class java.util.Hashtable
clear, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, merge, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, size, toString, values
-
-
Method Detail
-
dispose
public void dispose()
- Specified by:
dispose in interface org.protege.editor.core.Disposable
Copyright © 2009–2020 KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. All rights reserved.