Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: 23c357643052747e4c9f2aa43b874e25e63b1994 https://github.com/Teiid-Designer/teiid-designer/commit/23c357643052747e4... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; 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.