}
}
// check whether a configuration already exists for the given method
if (runConfigurationSetting == null) {
DBProgramRunConfigurationFactory configurationFactory = configurationType.getConfigurationFactory();
DBProgramRunConfiguration runConfiguration = configurationFactory.createConfiguration(method);
runConfigurationSetting = runManager.createConfiguration(runConfiguration, configurationFactory);
runManager.addConfiguration(runConfigurationSetting, false);
runManager.setTemporaryConfiguration(runConfigurationSetting);
}