4337491
diff -up freecol/src/net/sf/freecol/client/gui/video/VideoComponent.java~ freecol/src/net/sf/freecol/client/gui/video/VideoComponent.java
4337491
--- freecol/src/net/sf/freecol/client/gui/video/VideoComponent.java~	2010-10-04 02:28:29.000000000 +0200
4337491
+++ freecol/src/net/sf/freecol/client/gui/video/VideoComponent.java	2010-11-03 16:10:43.289564004 +0100
4337491
@@ -31,7 +31,8 @@ import javax.swing.border.Border;
4337491
 import net.sf.freecol.client.gui.panel.FreeColImageBorder;
4337491
 
4337491
 import com.fluendo.player.Cortado;
4337491
-import com.fluendo.player.StopListener;
4337491
+// Disable the feature that seems to be missing from the stock Cortado
4337491
+// import com.fluendo.player.StopListener;
4337491
 
4337491
 /**
4337491
  * A component for playing video.
4337491
@@ -71,17 +72,17 @@ public class VideoComponent extends JPan
4337491
         applet.setParam ("showStatus", "hide");
4337491
         applet.init();
4337491
 
4337491
-        applet.setStopListener(new StopListener() {
4337491
-            public void stopped() {
4337491
-                SwingUtilities.invokeLater(new Runnable() {
4337491
-                    public void run() {
4337491
-                        for (VideoListener sl : videoListeners) {
4337491
-                            sl.stopped();
4337491
-                        }
4337491
-                    }
4337491
-                });
4337491
-            }
4337491
-        });
4337491
+//        applet.setStopListener(new StopListener() {
4337491
+//            public void stopped() {
4337491
+//                SwingUtilities.invokeLater(new Runnable() {
4337491
+//                    public void run() {
4337491
+//                        for (VideoListener sl : videoListeners) {
4337491
+//                            sl.stopped();
4337491
+//                        }
4337491
+//                    }
4337491
+//                });
4337491
+//            }
4337491
+//        });
4337491
 
4337491
         setLayout(null);
4337491
         add(applet);