From 79c8ec26a6dd87b23e94abd7cf9c5de8c139e721 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Wed, 12 Jan 2011 18:41:02 +0000
Subject: [PATCH] 1.1 compat

---
 src/jalview/appletgui/PaintRefresher.java |    4 +++-
 src/jalview/bin/JalviewLite.java          |   16 ++++++++++------
 2 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java
index f08bd66..889a7db 100755
--- a/src/jalview/appletgui/PaintRefresher.java
+++ b/src/jalview/appletgui/PaintRefresher.java
@@ -239,7 +239,9 @@ public class PaintRefresher
       }
     }
     AlignmentPanel[] result = new AlignmentPanel[tmp.size()];
-    tmp.toArray(result);
+    for (int ix=0;ix<result.length;ix++) {
+      result[ix] = (AlignmentPanel) tmp.elementAt(ix);
+    }
 
     return result;
   }
diff --git a/src/jalview/bin/JalviewLite.java b/src/jalview/bin/JalviewLite.java
index 5c5e3df..501ad6b 100755
--- a/src/jalview/bin/JalviewLite.java
+++ b/src/jalview/bin/JalviewLite.java
@@ -573,7 +573,7 @@ public class JalviewLite extends Applet
     }
     jalview.javascript.MouseOverListener mol = new jalview.javascript.MouseOverListener(
             this, af, listener);
-    mouseoverListeners.add(mol);
+    mouseoverListeners.addElement(mol);
     StructureSelectionManager.getStructureSelectionManager()
             .addStructureViewerListener(mol);
     if (debug)
@@ -605,7 +605,7 @@ public class JalviewLite extends Applet
     }
     jalview.javascript.JsSelectionSender mol = new jalview.javascript.JsSelectionSender(
             this, af, listener);
-    mouseoverListeners.add(mol);
+    mouseoverListeners.addElement(mol);
     StructureSelectionManager.getStructureSelectionManager()
             .addSelectionListener(mol);
     if (debug)
@@ -638,14 +638,16 @@ public class JalviewLite extends Applet
       }
     }
     boolean rprt = false;
-    for (Object lstn : mouseoverListeners)
+    for (int ms=0,msSize=mouseoverListeners.size();ms<msSize;)
     {
+      Object lstn = mouseoverListeners.elementAt(ms);
       JsCallBack lstner = (JsCallBack) lstn;
       if ((af == null || lstner.getAlignFrame() == af)
               && (listener == null || lstner.getListenerFunction().equals(
                       listener)))
       {
-        mouseoverListeners.remove(lstner);
+        mouseoverListeners.removeElement(lstner);
+        msSize--;
         if (lstner instanceof SelectionListener)
         {
           StructureSelectionManager.getStructureSelectionManager()
@@ -661,6 +663,8 @@ public class JalviewLite extends Applet
         {
           System.err.println("Removed listener '" + listener + "'");
         }
+      } else {
+        ms++;
       }
     }
     if (rprt)
@@ -676,8 +680,8 @@ public class JalviewLite extends Applet
     {
       while (mouseoverListeners.size()>0)
       {
-        Object mol =         mouseoverListeners.remove(0);
-// mouseoverListeners.elementAt(0);
+        Object mol =         mouseoverListeners.elementAt(0);
+        mouseoverListeners.removeElement(mol);
         if (mol instanceof SelectionListener)
         {
           StructureSelectionManager.getStructureSelectionManager().removeSelectionListener((SelectionListener)mol);          
-- 
1.7.10.2