933934935936937938939940941942943
break; case MapEvent.CHANGE: listener.queryChanged(e); break; case MapEvent.REMOVE: listener.queryRemoved(e); break; default: throw new IllegalArgumentException("Invalid ProcedureEvent type: " + e.getId()); } }
10131014101510161017101810191020102110221023
break; case MapEvent.CHANGE: listener.queryChanged(e); break; case MapEvent.REMOVE: listener.queryRemoved(e); break; default: throw new IllegalArgumentException("Invalid ProcedureEvent type: " + e.getId()); }
855856857858859860861862863864865
10341035103610371038103910401041104210431044