/**
* Based on the builder id, retrieves the configuration id of the runner preferences.
*
* @return the preferences name of the program runner arguments
*/
private String getArgumentsPreferenceName() {
return "runner_" + runner.getId() + "_args";
}
/**
* Based on the builder id, retrieves the configuration id of the runner preferences.
*
* @return the preferences name of the program runner path
*/
private String getCommandPreferenceName() {
return "runner_" + runner.getId() + "_prog";
}
