One should use proper data structures to maintain a list of listeners.

Fixes https://github.com/eclipse-platform/eclipse.platform/issues/613