Program: 17459
Project: 17459
Buggy source:
private OverlayPreferenceStore createOverlayStore(){
  ArrayList overlayKeys=new ArrayList();
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_COLOR_BACKGROUND));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_CURRENT_LINE_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_MAX_UNDO_STEPS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_CURRENT_LINE_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_BRACKET_MATCHING_ENABLED));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_RTRIM_ON_SAVE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_TAB_WIDTH));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_INSIGHT_DELAY));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_INSERT_SPACES_FOR_TABS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_PRINT_MARGIN_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_PRINT_MARGIN_SIZE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_PRINT_MARGIN));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_OVERVIEW_RULER));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_LINE_NUMBER_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_LINE_NUMBERS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_ENABLE_CUSTOM_CARETS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_USE_WIDE_CARET));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_SELECTION_FOREGROUND_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_BRACKET_MATCHING_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SELECTION_FOREGROUND_SYSTEM_DEFAULT));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_SELECTION_BACKGROUND_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SELECTION_BACKGROUND_SYSTEM_DEFAULT));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_WARN_READ_ONLY_FILES));
  OverlayPreferenceStore.OverlayKey keys[]=new OverlayPreferenceStore.OverlayKey[overlayKeys.size()];
  overlayKeys.toArray(keys);
  return new OverlayPreferenceStore(getPreferenceStore(),keys);
}

Fixed version (ground truth):
private OverlayPreferenceStore createOverlayStore(){
  ArrayList overlayKeys=new ArrayList();
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_COLOR_BACKGROUND));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_CURRENT_LINE_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_MAX_UNDO_STEPS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_CURRENT_LINE_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_BRACKET_MATCHING_ENABLED));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_BRACKET_MATCHING_STYLE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_HIGHLIGHT_CURRENT_LINE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_RTRIM_ON_SAVE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_TAB_WIDTH));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_INSIGHT_DELAY));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_INSERT_SPACES_FOR_TABS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_PRINT_MARGIN_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.INT,EditorPreferenceConstants.P_PRINT_MARGIN_SIZE));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_PRINT_MARGIN));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_OVERVIEW_RULER));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_LINE_NUMBER_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SHOW_LINE_NUMBERS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_ENABLE_CUSTOM_CARETS));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_USE_WIDE_CARET));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_SELECTION_FOREGROUND_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_BRACKET_MATCHING_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SELECTION_FOREGROUND_SYSTEM_DEFAULT));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.STRING,EditorPreferenceConstants.P_SELECTION_BACKGROUND_COLOR));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_SELECTION_BACKGROUND_SYSTEM_DEFAULT));
  overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,EditorPreferenceConstants.P_WARN_READ_ONLY_FILES));
  OverlayPreferenceStore.OverlayKey keys[]=new OverlayPreferenceStore.OverlayKey[overlayKeys.size()];
  overlayKeys.toArray(keys);
  return new OverlayPreferenceStore(getPreferenceStore(),keys);
}