16d15
< import java.io.*;
83c82
< 	 * Adds a vector of figures to the drawing.
---
> 	 * Adds a collections of figures to the drawing.
85c84
< 	public void addAll(Vector figures);
---
> 	public void addAll(Collection figures);
115,121d113
< 	 * Gets the currently selected figures.
< 	 * @return a vector with the selected figures. The vector
< 	 * is a copy of the current selection.
< 	 */
< 	public Vector selection();
< 
< 	/**
122a115,118
> 	 * The selection is a snapshot of the current selection
> 	 * which does not get changed anymore
> 	 *
> 	 * @return an enumeration with the currently selected figures.
124c120
< 	public FigureEnumeration selectionElements();
---
> 	public FigureEnumeration selection();
127a124,126
> 	 * The selection is a snapshot of the current selection
> 	 * which does not get changed anymore
> 	 *
129,130c128
< 	 * @return a vector with the selected figures. The vector
< 	 * is a copy of the current selection.
---
> 	 * @return an enumeration with the currently selected figures.
132c130
< 	public Vector selectionZOrdered();
---
> 	public FigureEnumeration selectionZOrdered();
150c148
< 	 * Adds a vector of figures to the current selection.
---
> 	 * Adds a collections of figures to the current selection.
152c150
< 	public void addToSelectionAll(Vector figures);
---
> 	public void addToSelectionAll(Collection figures);
300c298
< 	 * Returns the vector of connection figures
---
> 	 * Returns a FigureEnumeration of connection figures
302c300
< 	public Vector getConnectionFigures(Figure inFigure);
---
> 	public FigureEnumeration getConnectionFigures(Figure inFigure);