private synchronized void restoreFilterActivation() { try { Preferences preferences = NavigatorPlugin.getDefault() .getPluginPreferences(); if (preferences.contains(getFilterActivationPreferenceKey())) { String activatedFiltersPreferenceValue = preferences .getString(getFilterActivationPreferenceKey()); String[] activeFilterIds = activatedFiltersPreferenceValue .split(DELIM); for (int i = 0; i < activeFilterIds.length; i++) { activeFilters.add(activeFilterIds[i]); } } else { ICommonFilterDescriptor[] visibleFilterDescriptors = getVisibleFilterDescriptors(); for (int i = 0; i < visibleFilterDescriptors.length; i++) { if (visibleFilterDescriptors[i].isActiveByDefault()) { activeFilters.add(visibleFilterDescriptors[i].getId()); } } } } catch (RuntimeException e) { NavigatorPlugin.logError(0, e.getMessage(), e); } }