16,16d15
< import java.io.*;
83,83c82,82
< 	 * Adds a vector of figures to the drawing.
---
> 	 * Adds a collections of figures to the drawing.
85,85c84,84
< 	public void addAll(Vector figures);
---
> 	public void addAll(Collection figures);
114a115,116
> 	 * The selection is a snapshot of the current selection
> 	 * which does not get changed anymore
115,117d114
< 	 * Gets the currently selected figures.
< 	 * @return a vector with the selected figures. The vector
< 	 * is a copy of the current selection.
118,118c117,117
< 	 */
---
> 	 *
118a118,118
> 	 * @return an enumeration with the currently selected figures.
119,121d117
< 	public Vector selection();
< 
< 	/**
124,124c120,120
< 	public FigureEnumeration selectionElements();
---
> 	public FigureEnumeration selection();
128a128,128
> 	 * @return an enumeration with the currently selected figures.
129,129d123
< 	 * @return a vector with the selected figures. The vector
130,130c124,124
< 	 * is a copy of the current selection.
---
> 	 * The selection is a snapshot of the current selection
130a125,126
> 	 * which does not get changed anymore
> 	 *
132,132c130,130
< 	public Vector selectionZOrdered();
---
> 	public FigureEnumeration selectionZOrdered();
150,150c148,148
< 	 * Adds a vector of figures to the current selection.
---
> 	 * Adds a collections of figures to the current selection.
152,152c150,150
< 	public void addToSelectionAll(Vector figures);
---
> 	public void addToSelectionAll(Collection figures);
300,300c298,298
< 	 * Returns the vector of connection figures
---
> 	 * Returns a FigureEnumeration of connection figures
302,302c300,300
< 	public Vector getConnectionFigures(Figure inFigure);
---
> 	public FigureEnumeration getConnectionFigures(Figure inFigure);