public interface OBDAPreferenceChangeListener
void
preferenceChanged()
void preferenceChanged()
Copyright © 2009–2020 KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. All rights reserved.