Program: 73408
Project: 73408
Buggy source:
/** 
 * processes after pressing ok button
 */
private void okPressedProcess(){
  Utility.setPreferenceStoredMap(JdbcPlugin.JAR_MAP_PREFERENCE_KEY,jarMap);
  Utility.setPreferenceStoredMap(JdbcPlugin.DRIVER_MAP_PREFERENCE_KEY,driverMap);
  Iterator jarsCopyIterator=jarsToBeCopied.values().iterator();
  JDBCDriverManager manager=JDBCDriverManager.getInstance();
  JDBCDriverInformation info;
  List drivers=new ArrayList();
  while (jarsCopyIterator.hasNext()) {
    JarFile jar=(JarFile)jarsCopyIterator.next();
    jar.copyJarToODADir();
    Utility.removeMapEntryFromPreferenceStoredMap(JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,jar.getFileName());
    drivers.addAll(JdbcToolKit.getDriverByJar(jar));
  }
  for (int i=0; i < drivers.size(); i++) {
    info=(JDBCDriverInformation)drivers.get(i);
    manager.updateStatus(info.getDriverClassName());
  }
  drivers.clear();
  Iterator jarsDeleteIterator=jarsToBeDeleted.values().iterator();
  while (jarsDeleteIterator.hasNext()) {
    JarFile jar=(JarFile)jarsDeleteIterator.next();
    jar.deleteJarFromODADir();
    Utility.putPreferenceStoredMapValue(JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,jar.getFileName(),jar);
    drivers.addAll(JdbcToolKit.getDriverByJar(jar));
  }
  for (int i=0; i < drivers.size(); i++) {
    info=(JDBCDriverInformation)drivers.get(i);
    try {
      manager.deregisterDriver(info.getDriverClassName());
    }
 catch (    OdaException e) {
      MessageDialog.openError(null,"String_Node_Str","String_Node_Str" + info.getDriverClassName());
    }
  }
  refreshDriverPage();
  super.okPressed();
}

Fixed version (ground truth):
/** 
 * processes after pressing ok button
 */
private void okPressedProcess(){
  Utility.setPreferenceStoredMap(JdbcPlugin.JAR_MAP_PREFERENCE_KEY,jarMap);
  Utility.setPreferenceStoredMap(JdbcPlugin.DRIVER_MAP_PREFERENCE_KEY,driverMap);
  Iterator jarsCopyIterator=jarsToBeCopied.values().iterator();
  JDBCDriverManager manager=JDBCDriverManager.getInstance();
  JDBCDriverInformation info;
  List drivers=new ArrayList();
  while (jarsCopyIterator.hasNext()) {
    JarFile jar=(JarFile)jarsCopyIterator.next();
    jar.copyJarToODADir();
    Utility.removeMapEntryFromPreferenceStoredMap(JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,jar.getFileName());
    drivers.addAll(JdbcToolKit.getDriverByJar(jar));
  }
  for (int i=0; i < drivers.size(); i++) {
    info=(JDBCDriverInformation)drivers.get(i);
    try {
      manager.loadAndRegisterDriver(info.getDriverClassName(),null);
      manager.updateStatus(info.getDriverClassName());
    }
 catch (    OdaException e) {
      MessageDialog.openError(null,JdbcPlugin.getResourceString("String_Node_Str"),JdbcPlugin.getResourceString("String_Node_Str") + info.getDriverClassName());
    }
  }
  drivers.clear();
  Iterator jarsDeleteIterator=jarsToBeDeleted.values().iterator();
  while (jarsDeleteIterator.hasNext()) {
    JarFile jar=(JarFile)jarsDeleteIterator.next();
    jar.deleteJarFromODADir();
    Utility.putPreferenceStoredMapValue(JdbcPlugin.DELETED_JAR_MAP_PREFERENCE_KEY,jar.getFileName(),jar);
    drivers.addAll(JdbcToolKit.getDriverByJar(jar));
  }
  for (int i=0; i < drivers.size(); i++) {
    info=(JDBCDriverInformation)drivers.get(i);
    try {
      manager.deregisterDriver(info.getDriverClassName());
    }
 catch (    OdaException e) {
      MessageDialog.openError(null,JdbcPlugin.getResourceString("String_Node_Str"),JdbcPlugin.getResourceString("String_Node_Str") + info.getDriverClassName());
    }
  }
  refreshDriverPage();
  super.okPressed();
}