1.1 compat

[jalview.git] / src / jalview / appletgui / PaintRefresher.java

diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java
index f08bd66..889a7db 100755 (executable)
--- 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;
   }