String oldNickname = ev.getOldName();
String newNickname = ev.getNewName();
oldParams = this.parameterEditor.getParamSet();
newParams = new DblParamSet();
String[] params = oldParams.parameterSet();
for (int j=0;j<params.length;j++)
{
String p = params[j];
String newParamName= p.replaceFirst("#"+oldNickname,"#"+newNickname);
newParams.put(newParamName,oldParams.get(p));