Source:
<code>public void allocateColors() { IPreferenceStore store = TraditionalRenderingPlugin.getDefault().getPreferenceStore(); if (fCurrentMemorySpaceId != null) { <START> final String key = fMemSpacePrefsUtil.getMemorySpaceKey(fCurrentMemorySpaceId); <END> if (store.getString(key) != "") { colorBackground = new Color(Display.getDefault(), PreferenceConverter.getColor(store, key)); } else { colorBackground = null; } } if (colorBackground == null) { colorBackground = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_BACKGROUND)); } colorChanged = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_CHANGED)); colorEdit = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_EDIT)); colorSelection = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_SELECTION)); colorText = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_TEXT)); Color textColor = getColorText(); int red = textColor.getRed(); int green = textColor.getGreen(); int blue = textColor.getBlue(); float scale = store.getInt( TraditionalRenderingPreferenceConstants.MEM_LIGHTEN_DARKEN_ALTERNATE_CELLS); red = (int) Math.min(red + ((255 - red) / 10) * scale, 255); green = (int) Math.min(green + ((255 - green) / 10) * scale, 255); blue = (int) Math.min(blue + ((255 - blue) / 10) * scale, 255); colorTextAlternate = new Color(Display.getDefault(), new RGB(red, green, blue)); }</code><technical_language>final is needed is async call scope is for this stack frame</technical_language>

Target:
public void allocateColors() { IPreferenceStore store = TraditionalRenderingPlugin.getDefault().getPreferenceStore(); colorBackground = null; if (fMemorySpaceId != null) { String key = fMemSpacePreferenceHelper.getMemorySpaceKey(fMemorySpaceId); if (store.getString(key) != "") { colorBackground = new Color(Display.getDefault(), PreferenceConverter.getColor(store, key)); } } if (colorBackground == null) { colorBackground = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_BACKGROUND)); } colorChanged = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_CHANGED)); colorEdit = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_EDIT)); colorSelection = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_SELECTION)); colorText = new Color(Display.getDefault(), PreferenceConverter.getColor(store, TraditionalRenderingPreferenceConstants.MEM_COLOR_TEXT)); Color textColor = getColorText(); int red = textColor.getRed(); int green = textColor.getGreen(); int blue = textColor.getBlue(); float scale = store.getInt( TraditionalRenderingPreferenceConstants.MEM_LIGHTEN_DARKEN_ALTERNATE_CELLS); red = (int) Math.min(red + ((255 - red) / 10) * scale, 255); green = (int) Math.min(green + ((255 - green) / 10) * scale, 255); blue = (int) Math.min(blue + ((255 - blue) / 10) * scale, 255); colorTextAlternate = new Color(Display.getDefault(), new RGB(red, green, blue)); }