2,2c2,2
<  * @(#)FigureEnumerator.java 5.2
---
>  * @(#)FigureEnumerator.java
3a4,9
>  * Project:		JHotdraw - a GUI framework for technical drawings
>  *				http://www.jhotdraw.org
>  *				http://jhotdraw.sourceforge.net
>  * Copyright:	© by the original author(s) and all contributors
>  * License:		Lesser GNU Public License (LGPL)
>  *				http://www.opensource.org/licenses/lgpl-license.html
12a19,20
>  *
>  * @version <$CURRENT_VERSION$>
14a23,26
>     private Enumeration fEnumeration;
> 
> 	private static FigureEnumerator singletonEmptyEnumerator = 
> 		new FigureEnumerator(new Vector());
15,15d22
<     Enumeration fEnumeration;
45a57,74
>     
>     public static FigureEnumeration getEmptyEnumeration() {
>     	return singletonEmptyEnumerator;
>     }
>     
> /*    public static FigureEnumeration getClonedFigures(FigureEnumeration toDuplicate) {
>     	Vector v = new Vector();
>     	while (toDuplicate.hasMoreElements()) {
>     		try {
>     			v.addElement(toDuplicate.nextFigure().clone());
>     		}
>     		catch (CloneNotSupportedException e) {
>     			e.printStackTrace();
>     		}
>     	}
>     	return new FigureEnumerator(v);
>     }
> */