X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FPaintRefresher.java;h=50e5a62d84a4965d35e4bbf4c49b20207b8c8742;hb=797df64fa2a0a30773d0f48f5494d4155e5a8be3;hp=f08bd66c4cf600b1d33993a65a7fb6072f533342;hpb=811fb76382f3601b35dc08b8c0ceabed049c3326;p=jalview.git

diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java
index f08bd66..50e5a62 100755
--- a/src/jalview/appletgui/PaintRefresher.java
+++ b/src/jalview/appletgui/PaintRefresher.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6)
- * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
+ * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
  * 
  * This file is part of Jalview.
  * 
@@ -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;
   }