/******************************************************************************* * Copyright (c) 2006, 2012 Oracle Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * Oracle Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.bpel.ui.preferences; import org.eclipse.bpel.ui.BPELUIPlugin; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.preference.PreferenceConverter; import org.eclipse.swt.graphics.RGB; import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants; /** * @author Michal Chmielewski (michal.chmielewski@oracle.com) * @date Oct 27, 2006 * */ public class PreferenceConstants { /** * Matching brackets enabled */ static final public String EDITOR_MATCHING_BRACKETS = "org.eclipse.bpel.ui.xpath.editor.MatchingBrackets"; //$NON-NLS-1$ /** * The matching brackets color. */ static final public String EDITOR_MATCHING_BRACKETS_COLOR = "org.eclipse.bpel.ui.xpath.editor.MatchingBracketsColor"; //$NON-NLS-1$ /** * A named preference that controls whether the 'close strings' feature * is enabled. * <p> * Value is of type <code>Boolean</code>. * </p> * */ static final public String EDITOR_CLOSE_STRINGS = "closeString"; //$NON-NLS-1$ /** * A named preference that controls whether the 'close brackets' feature is * enabled. * <p> * Value is of type <code>Boolean</code>. * </p> * @since 2.1 */ public final static String EDITOR_CLOSE_BRACKETS= "closeBrackets"; //$NON-NLS-1$ public final static RGB AXIS = new RGB(0, 136, 0); public final static RGB BRACKET = new RGB(0, 0, 0); public final static RGB DEFAULT = new RGB(0, 0, 0); public final static RGB NUMBER = new RGB(100, 100, 100); public final static RGB OPERAND = new RGB(155, 68, 208); public final static RGB PARENS = new RGB(255, 0, 0); public final static RGB PATH_SEPARATOR = new RGB(0, 0, 255); public final static RGB STRING = new RGB(0, 136, 0); public final static RGB TAG = new RGB(0, 0, 128); public final static RGB FUNCTIONS_XPATH = new RGB(0,0,200); public static final RGB VARIABLES = new RGB(10,10,10); public static final RGB VARIABLE_PART = new RGB(0xe0,80,0); /** * Initializes the given preference store with the default values. * * @param store the preference store to be initialized * * @since 2.1 */ public static void initializeDefaultValues(IPreferenceStore store) { // set the default values from AbstractDecoratedTextEditor AbstractDecoratedTextEditorPreferenceConstants.initializeDefaultValues(store); // store.setDefault(PreferenceConstants.EDITOR_SHOW_SEGMENTS, false); // // // JavaBasePreferencePage // store.setDefault(PreferenceConstants.LINK_PACKAGES_TO_EDITOR, false); // store.setDefault(PreferenceConstants.LINK_TYPEHIERARCHY_TO_EDITOR, false); // store.setDefault(PreferenceConstants.OPEN_TYPE_HIERARCHY, PreferenceConstants.OPEN_TYPE_HIERARCHY_IN_VIEW_PART); // store.setDefault(PreferenceConstants.DOUBLE_CLICK, PreferenceConstants.DOUBLE_CLICK_EXPANDS); // store.setDefault(PreferenceConstants.UPDATE_JAVA_VIEWS, PreferenceConstants.UPDATE_WHILE_EDITING); // store.setToDefault(PreferenceConstants.UPDATE_JAVA_VIEWS); // clear preference, update on save not supported anymore // // store.setDefault(PreferenceConstants.LINK_BROWSING_PROJECTS_TO_EDITOR, true); // store.setDefault(PreferenceConstants.LINK_BROWSING_PACKAGES_TO_EDITOR, true); // store.setDefault(PreferenceConstants.LINK_BROWSING_TYPES_TO_EDITOR, true); // store.setDefault(PreferenceConstants.LINK_BROWSING_MEMBERS_TO_EDITOR, true); // // store.setDefault(PreferenceConstants.SEARCH_USE_REDUCED_MENU, true); // // AppearancePreferencePage // store.setDefault(PreferenceConstants.APPEARANCE_COMPRESS_PACKAGE_NAMES, false); // store.setDefault(PreferenceConstants.APPEARANCE_METHOD_RETURNTYPE, false); // store.setDefault(PreferenceConstants.SHOW_CU_CHILDREN, true); // store.setDefault(PreferenceConstants.BROWSING_STACK_VERTICALLY, false); // store.setDefault(PreferenceConstants.APPEARANCE_PKG_NAME_PATTERN_FOR_PKG_VIEW, ""); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.APPEARANCE_FOLD_PACKAGES_IN_PACKAGE_EXPLORER, true); // // // ImportOrganizePreferencePage // store.setDefault(PreferenceConstants.ORGIMPORTS_IMPORTORDER, "java;javax;org;com"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.ORGIMPORTS_ONDEMANDTHRESHOLD, 99); // store.setDefault(PreferenceConstants.ORGIMPORTS_IGNORELOWERCASE, true); // // // TypeFilterPreferencePage // store.setDefault(PreferenceConstants.TYPEFILTER_ENABLED, ""); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.TYPEFILTER_DISABLED, ""); //$NON-NLS-1$ // // // ClasspathVariablesPreferencePage // // CodeFormatterPreferencePage // // CompilerPreferencePage // // no initialization needed // // // RefactoringPreferencePage // store.setDefault(PreferenceConstants.REFACTOR_ERROR_PAGE_SEVERITY_THRESHOLD, PreferenceConstants.REFACTOR_ERROR_SEVERITY); // store.setDefault(PreferenceConstants.REFACTOR_SAVE_ALL_EDITORS, false); // // // TemplatePreferencePage // store.setDefault(PreferenceConstants.TEMPLATES_USE_CODEFORMATTER, true); // // // CodeGenerationPreferencePage // // compatibility code // if (store.getBoolean(PreferenceConstants.CODEGEN_USE_GETTERSETTER_PREFIX)) { // String prefix= store.getString(PreferenceConstants.CODEGEN_GETTERSETTER_PREFIX); // if (prefix.length() > 0) { // JavaCore.getPlugin().getPluginPreferences().setValue(JavaCore.CODEASSIST_FIELD_PREFIXES, prefix); // store.setToDefault(PreferenceConstants.CODEGEN_USE_GETTERSETTER_PREFIX); // store.setToDefault(PreferenceConstants.CODEGEN_GETTERSETTER_PREFIX); // } // } // if (store.getBoolean(PreferenceConstants.CODEGEN_USE_GETTERSETTER_SUFFIX)) { // String suffix= store.getString(PreferenceConstants.CODEGEN_GETTERSETTER_SUFFIX); // if (suffix.length() > 0) { // JavaCore.getPlugin().getPluginPreferences().setValue(JavaCore.CODEASSIST_FIELD_SUFFIXES, suffix); // store.setToDefault(PreferenceConstants.CODEGEN_USE_GETTERSETTER_SUFFIX); // store.setToDefault(PreferenceConstants.CODEGEN_GETTERSETTER_SUFFIX); // } // } // store.setDefault(PreferenceConstants.CODEGEN_KEYWORD_THIS, false); // store.setDefault(PreferenceConstants.CODEGEN_IS_FOR_GETTERS, true); // store.setDefault(PreferenceConstants.CODEGEN_EXCEPTION_VAR_NAME, "e"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.CODEGEN_ADD_COMMENTS, true); // // // MembersOrderPreferencePage // store.setDefault(PreferenceConstants.APPEARANCE_MEMBER_SORT_ORDER, "T,SF,SI,SM,I,F,C,M"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.APPEARANCE_VISIBILITY_SORT_ORDER, "B,V,R,D"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.APPEARANCE_ENABLE_VISIBILITY_SORT_ORDER, false); // // must add here to guarantee that it is the first in the listener list // store.addPropertyChangeListener(JavaPlugin.getDefault().getMemberOrderPreferenceCache()); // // // // JavaEditorPreferencePage store.setDefault(PreferenceConstants.EDITOR_MATCHING_BRACKETS, true); PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR, new RGB(192, 192,192)); // // store.setDefault(PreferenceConstants.EDITOR_CURRENT_LINE, true); // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_CURRENT_LINE_COLOR, new RGB(232, 242, 254)); // // store.setDefault(PreferenceConstants.EDITOR_PRINT_MARGIN, false); // store.setDefault(PreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN, 80); // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_PRINT_MARGIN_COLOR, new RGB(176, 180 , 185)); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_FIND_SCOPE_COLOR, new RGB(185, 176 , 180)); // // store.setDefault(PreferenceConstants.EDITOR_CORRECTION_INDICATION, true); // store.setDefault(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE, true); // // store.setDefault(PreferenceConstants.EDITOR_EVALUTE_TEMPORARY_PROBLEMS, true); // // store.setDefault(PreferenceConstants.EDITOR_OVERVIEW_RULER, true); // // store.setDefault(PreferenceConstants.EDITOR_LINE_NUMBER_RULER, false); // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, new RGB(0, 0, 0)); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_LINKED_POSITION_COLOR, new RGB(121, 121, 121)); // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_LINK_COLOR, new RGB(0, 0, 255)); // // store.setDefault(PreferenceConstants.EDITOR_FOREGROUND_DEFAULT_COLOR, true); // // store.setDefault(PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR, true); // // store.setDefault(PreferenceConstants.EDITOR_TAB_WIDTH, 4); // store.setDefault(PreferenceConstants.EDITOR_SPACES_FOR_TABS, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR, new RGB(63, 127, 95)); // store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR, new RGB(63, 127, 95)); // store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR, new RGB(127, 0, 85)); // store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_BOLD, true); // store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_STRING_COLOR, new RGB(42, 0, 255)); // store.setDefault(PreferenceConstants.EDITOR_STRING_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_STRING_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR, new RGB(0, 0, 0)); // store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_METHOD_NAME_COLOR, new RGB(0, 0, 0)); // store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR, new RGB(127, 0, 85)); // store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_BOLD, true); // store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_OPERATOR_COLOR, new RGB(0, 0, 0)); // store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_TASK_TAG_COLOR, new RGB(127, 159, 191)); // store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_BOLD, true); // store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR, new RGB(127, 159, 191)); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_BOLD, true); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR, new RGB(127, 127, 159)); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR, new RGB(63, 63, 191)); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_ITALIC, false); // // PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR, new RGB(63, 95, 191)); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_BOLD, false); // store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_ITALIC, false); // // store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION, true); // store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_DELAY, 500); // // store.setDefault(PreferenceConstants.CODEASSIST_AUTOINSERT, true); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PROPOSALS_BACKGROUND, new RGB(255, 255, 255)); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PROPOSALS_FOREGROUND, new RGB(0, 0, 0)); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PARAMETERS_BACKGROUND, new RGB(255, 255, 255)); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PARAMETERS_FOREGROUND, new RGB(0, 0, 0)); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_REPLACEMENT_BACKGROUND, new RGB(255, 255, 0)); // PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_REPLACEMENT_FOREGROUND, new RGB(255, 0, 0)); // store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVA, "."); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVADOC, "@#"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.CODEASSIST_SHOW_VISIBLE_PROPOSALS, true); // store.setDefault(PreferenceConstants.CODEASSIST_CASE_SENSITIVITY, false); // store.setDefault(PreferenceConstants.CODEASSIST_ORDER_PROPOSALS, false); // store.setDefault(PreferenceConstants.CODEASSIST_ADDIMPORT, true); // store.setDefault(PreferenceConstants.CODEASSIST_INSERT_COMPLETION, true); // store.setDefault(PreferenceConstants.CODEASSIST_FILL_ARGUMENT_NAMES, false); // store.setDefault(PreferenceConstants.CODEASSIST_GUESS_METHOD_ARGUMENTS, true); // store.setDefault(PreferenceConstants.CODEASSIST_PREFIX_COMPLETION, false); // // store.setDefault(PreferenceConstants.EDITOR_SMART_HOME_END, true); // store.setDefault(PreferenceConstants.EDITOR_SUB_WORD_NAVIGATION, true); // store.setDefault(PreferenceConstants.EDITOR_SMART_PASTE, true); // store.setDefault(PreferenceConstants.EDITOR_IMPORTS_ON_PASTE, true); store.setDefault(PreferenceConstants.EDITOR_CLOSE_STRINGS, true); store.setDefault(PreferenceConstants.EDITOR_CLOSE_BRACKETS, true); // store.setDefault(PreferenceConstants.EDITOR_CLOSE_BRACES, true); // store.setDefault(PreferenceConstants.EDITOR_CLOSE_JAVADOCS, true); // store.setDefault(PreferenceConstants.EDITOR_WRAP_STRINGS, true); // store.setDefault(PreferenceConstants.EDITOR_ESCAPE_STRINGS, false); // store.setDefault(PreferenceConstants.EDITOR_ADD_JAVADOC_TAGS, true); // store.setDefault(PreferenceConstants.EDITOR_FORMAT_JAVADOCS, false); // store.setDefault(PreferenceConstants.EDITOR_DISABLE_OVERWRITE_MODE, false); // // String mod1Name= Action.findModifierString(SWT.MOD1); // SWT.COMMAND on Mac; SWT.CONTROL elsewhere // store.setDefault(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS, "org.eclipse.jdt.ui.BestMatchHover;0;org.eclipse.jdt.ui.JavaSourceHover;" + mod1Name); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, "org.eclipse.jdt.ui.BestMatchHover;0;org.eclipse.jdt.ui.JavaSourceHover;" + SWT.MOD1); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE, true); // // store.setDefault(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS, true); // store.setDefault(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER, mod1Name); // store.setDefault(PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK, SWT.MOD1); // // store.setDefault(PreferenceConstants.EDITOR_SMART_TAB, true); // store.setDefault(PreferenceConstants.EDITOR_SMART_BACKSPACE, true); // store.setDefault(PreferenceConstants.EDITOR_ANNOTATION_ROLL_OVER, false); // // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_FORMAT, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_FORMATHEADER, false); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_FORMATSOURCE, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_INDENTPARAMETERDESCRIPTION, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_INDENTROOTTAGS, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_NEWLINEFORPARAMETER, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_SEPARATEROOTTAGS, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_CLEARBLANKLINES, false); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_FORMATHTML, true); // store.setDefault(PreferenceConstants.FORMATTER_COMMENT_LINELENGTH, 80); // // store.setDefault(PreferenceConstants.FORMATTER_PROFILE, ProfileManager.JAVA_PROFILE); // ProfileStore.checkCurrentOptionsVersion(); // // // mark occurrences // store.setDefault(PreferenceConstants.EDITOR_MARK_OCCURRENCES, false); // store.setDefault(PreferenceConstants.EDITOR_STICKY_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_TYPE_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_METHOD_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_CONSTANT_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_FIELD_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_LOCAL_VARIABLE_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_EXCEPTION_OCCURRENCES, true); // store.setDefault(PreferenceConstants.EDITOR_MARK_METHOD_EXIT_POINTS, true); // // // spell checking // store.setDefault(PreferenceConstants.SPELLING_CHECK_SPELLING, false); // store.setDefault(PreferenceConstants.SPELLING_LOCALE, SpellCheckEngine.getDefaultLocale().toString()); // store.setDefault(PreferenceConstants.SPELLING_IGNORE_DIGITS, true); // store.setDefault(PreferenceConstants.SPELLING_IGNORE_MIXED, true); // store.setDefault(PreferenceConstants.SPELLING_IGNORE_SENTENCE, true); // store.setDefault(PreferenceConstants.SPELLING_IGNORE_UPPER, true); // store.setDefault(PreferenceConstants.SPELLING_IGNORE_URLS, true); // store.setDefault(PreferenceConstants.SPELLING_USER_DICTIONARY, ""); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.SPELLING_PROPOSAL_THRESHOLD, 20); // store.setDefault(PreferenceConstants.SPELLING_ENABLE_CONTENTASSIST, false); // // // folding // store.setDefault(PreferenceConstants.EDITOR_FOLDING_ENABLED, true); // store.setDefault(PreferenceConstants.EDITOR_FOLDING_PROVIDER, "org.eclipse.jdt.ui.text.defaultFoldingProvider"); //$NON-NLS-1$ // store.setDefault(PreferenceConstants.EDITOR_FOLDING_JAVADOC, false); // store.setDefault(PreferenceConstants.EDITOR_FOLDING_INNERTYPES, true); // store.setDefault(PreferenceConstants.EDITOR_FOLDING_METHODS, false); // store.setDefault(PreferenceConstants.EDITOR_FOLDING_IMPORTS, true); // // // override default extended text editor prefs // store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS, true); // // // SemanticHighlightings.initDefaults(store); // // // do more complicated stuff // NewJavaProjectPreferencePage.initDefaults(store); } /** * Returns the preference store. * * @return the preference store */ public static IPreferenceStore getPreferenceStore() { return BPELUIPlugin.INSTANCE.getPreferenceStore(); } }