Commit 4af27d06 authored by Guus der Kinderen's avatar Guus der Kinderen

Merge pull request #520 from guusdk/OF-1051

OF-1051: Prevent ConcurrentModificationException
parents 45cb0091 ac453044
......@@ -198,7 +198,7 @@ public class PluginManager {
* @return a Collection of all installed plugins.
*/
public Collection<Plugin> getPlugins() {
return Collections.unmodifiableCollection(plugins.values());
return Collections.unmodifiableCollection(Arrays.asList( plugins.values().toArray( new Plugin[ plugins.size() ]) ));
}
/**
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment