622623624625626627628629630631632
switch (e.getId()) { case MapEvent.ADD: temp.domainAdded(e); break; case MapEvent.CHANGE: temp.domainChanged(e); break; case MapEvent.REMOVE: temp.domainRemoved(e); break; default:
803804805806807808809810811812813