[teiid-designer-dev] [Teiid-Designer/teiid-designer] 23c357: Avoids silly concurrent modification exception

[Paul Richardson]

  Branch: refs/heads/master
  Home:   https://github.com/Teiid-Designer/teiid-designer
  Commit: 23c357643052747e4c9f2aa43b874e25e63b1994
      https://github.com/Teiid-Designer/teiid-designer/commit/23c357643052747e4c9f2aa43b874e25e63b1994
  Author: Paul Richardson <p.g.richardson at redhat.com>
  Date:   2013-08-07 (Wed, 07 Aug 2013)

  Changed paths:
    M plugins/org.teiid.designer.dqp/src/org/teiid/designer/runtime/DefaultServersProvider.java
    M plugins/org.teiid.designer.dqp/src/org/teiid/designer/runtime/TeiidServerManager.java

  Log Message:
  -----------
  Avoids silly concurrent modification exception

* Avoid removing the listener whilst being called during an iteration of
  the listener collection.