*
* @param listener the MediaListener to add.
*/
public synchronized void addMediaListener(MediaListener listener) {
// Wrap the listener in a swing EDT safe version
MediaListener proxy = wrapListener(MediaListener.class, listener, eventExecutor);
mediaListeners.put(listener, proxy);
listeners.add(proxy);
}