change Container to Component

diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java
index 051721b..c60e29a 100755 (executable)
--- a/src/jalview/gui/PaintRefresher.java
+++ b/src/jalview/gui/PaintRefresher.java
@@ -4,26 +4,26 @@ import java.util.*;
 \r
 public class PaintRefresher\r
 {\r
-  static Vector containers = new Vector();\r
+  static Vector components = new Vector();\r
 \r
-  public static void Register(Container c)\r
+  public static void Register(Component c)\r
   {\r
-    if(!containers.contains(c))\r
-      containers.add(c);\r
+    if(!components.contains(c))\r
+      components.add(c);\r
     else\r
-      containers.remove(c);\r
+      components.remove(c);\r
   }\r
 \r
-  public static void Refresh(Container c)\r
+  public static void Refresh(Component c)\r
   {\r
-    Container temp;\r
-    Enumeration e = containers.elements();\r
+    Component temp;\r
+    Enumeration e = components.elements();\r
     while( e.hasMoreElements() )\r
     {\r
-      temp = (Container)e.nextElement();\r
+      temp = (Component)e.nextElement();\r
 \r
       if(!temp.isValid())\r
-        containers.removeElement( temp );\r
+        components.removeElement( temp );\r
       else if( temp == c )\r
            continue;\r
 \r