Program: 18464
Project: 18464
Buggy source:
/** 
 * Creates a new instance of the Jdbc directory settings with it's default values initialized.
 */
public JdbcDirectorySettings(){
  JdbcFileEntrySettings defaultSettings=new JdbcFileEntrySettings();
  registerFileEntrySettings(DEFAULT_FILE_ENTRY,defaultSettings);
  JdbcFileEntrySettings deletableSettings=new JdbcFileEntrySettings();
  deletableSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,NoOpFileEntryHandler.class);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  JdbcFileEntrySettings segmentsSettings=new JdbcFileEntrySettings();
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,ActualDeleteFileEntryHandler.class);
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.INDEX_INPUT_TYPE_SETTING,FetchOnOpenJdbcIndexInput.class);
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.INDEX_OUTPUT_TYPE_SETTING,RAMJdbcIndexOutput.class);
  registerFileEntrySettings("String_Node_Str",segmentsSettings);
  registerFileEntrySettings("String_Node_Str",segmentsSettings);
  JdbcFileEntrySettings fnmSettings=new JdbcFileEntrySettings();
  fnmSettings.setClassSetting(JdbcFileEntrySettings.INDEX_INPUT_TYPE_SETTING,FetchOnOpenJdbcIndexInput.class);
  fnmSettings.setClassSetting(JdbcFileEntrySettings.INDEX_OUTPUT_TYPE_SETTING,RAMJdbcIndexOutput.class);
  registerFileEntrySettings("String_Node_Str",fnmSettings);
}

Fixed version (ground truth):
/** 
 * Creates a new instance of the Jdbc directory settings with it's default values initialized.
 */
public JdbcDirectorySettings(){
  JdbcFileEntrySettings defaultSettings=new JdbcFileEntrySettings();
  registerFileEntrySettings(DEFAULT_FILE_ENTRY,defaultSettings);
  JdbcFileEntrySettings deletableSettings=new JdbcFileEntrySettings();
  deletableSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,NoOpFileEntryHandler.class);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  registerFileEntrySettings("String_Node_Str",deletableSettings);
  JdbcFileEntrySettings segmentsSettings=new JdbcFileEntrySettings();
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,ActualDeleteFileEntryHandler.class);
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.INDEX_INPUT_TYPE_SETTING,FetchOnOpenJdbcIndexInput.class);
  segmentsSettings.setClassSetting(JdbcFileEntrySettings.INDEX_OUTPUT_TYPE_SETTING,RAMJdbcIndexOutput.class);
  registerFileEntrySettings("String_Node_Str",segmentsSettings);
  registerFileEntrySettings("String_Node_Str",segmentsSettings);
  JdbcFileEntrySettings dotDelSettings=new JdbcFileEntrySettings();
  dotDelSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,ActualDeleteFileEntryHandler.class);
  registerFileEntrySettings("String_Node_Str",dotDelSettings);
  JdbcFileEntrySettings tmpSettings=new JdbcFileEntrySettings();
  tmpSettings.setClassSetting(JdbcFileEntrySettings.FILE_ENTRY_HANDLER_TYPE,ActualDeleteFileEntryHandler.class);
  registerFileEntrySettings("String_Node_Str",dotDelSettings);
  JdbcFileEntrySettings fnmSettings=new JdbcFileEntrySettings();
  fnmSettings.setClassSetting(JdbcFileEntrySettings.INDEX_INPUT_TYPE_SETTING,FetchOnOpenJdbcIndexInput.class);
  fnmSettings.setClassSetting(JdbcFileEntrySettings.INDEX_OUTPUT_TYPE_SETTING,RAMJdbcIndexOutput.class);
  registerFileEntrySettings("String_Node_Str",fnmSettings);
}