959960961962963964965966967968969
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:
10411042104310441045104610471048104910501051