884885886887888889890891892893894
switch (e.getId()) { case MapEvent.ADD: listener.procedureAdded(e); break; case MapEvent.CHANGE: listener.procedureChanged(e); break; case MapEvent.REMOVE: listener.procedureRemoved(e); break; default:
10631064106510661067106810691070107110721073