654655656657658659660661662663664
listeners.keySet().iterator(); String domain = null; while(domains.hasNext()) { domain = domains.next(); if(domain!=null) { ResourceSetListener listener = listeners.get(domain); editingDomain.removeResourceSetListener(listener); } } }
687688689690691692693694695696697