14,17c14,15 < import CH.ifa.draw.framework.*; < import CH.ifa.draw.standard.*; < import CH.ifa.draw.figures.*; < import CH.ifa.draw.util.*; --- > import CH.ifa.draw.util.CollectionsFactory; > 20,22c18,20 < import java.awt.*; < import java.awt.event.*; < import java.util.*; --- > import java.util.List; > import java.util.Iterator; > import java.awt.Component; 30c28 < * @author Wolfram Kaiser --- > * @author Wolfram Kaiser 36c34 < * Vector containing all tools for the standard ToolBar --- > * List containing all tools for the standard ToolBar 38c36 < private Vector standardTools; --- > private List standardTools; 41c39 < * Vector containing all tools for the edit ToolBar --- > * List containing all tools for the edit ToolBar 43c41 < private Vector editTools; --- > private List editTools; 46c44 < * Vector containing all tools, which are currently activated --- > * List containing all tools, which are currently activated 48c46 < private Vector currentTools; --- > private List currentTools; 60,61c58,59 < standardTools = new Vector(); < editTools = new Vector(); --- > standardTools = CollectionsFactory.current().createList(); > editTools = CollectionsFactory.current().createList(); 109,111c107,109 < Enumeration enum = currentTools.elements(); < while (enum.hasMoreElements()) { < currentTool = (JComponent)enum.nextElement(); --- > Iterator iter = currentTools.iterator(); > while (iter.hasNext()) { > currentTool = (JComponent)iter.next(); 124c122 < editTools.addElement(newTool); --- > editTools.add(newTool); 127c125 < standardTools.addElement(newTool); --- > standardTools.add(newTool);