private void fireParameterNameChanged(int i, String par) {
EventListener[] listen = listeners.getListeners(DataInfoListener.class);
for (int k = 0; k < listen.length; k++) {
((DataInfoListener) listen[k])
.parameterNameChanged(new ParameterNameChangedEvent(this,
i, par));
}
}