public void init(IWorkbench workbench) {
   setPreferenceStore(TefkatPlugin.getPlugin().getPreferenceStore());
   getPreferenceStore().addPropertyChangeListener(preferenceListener);
 }