net.sf.tweety.preferences.plugin
Classes
PreferencesPlugin