PreferenceLoader.saveStore();
    public void savePrefs() {        if (rightColumnIDs.length() > 1) {            PreferenceStore p = PreferenceLoader.getPreferenceStore();            p.setValue(prefOption, rightColumnIDs);        }    }