public final FigureEnumeration figures() {
public FigureEnumeration figures() {
	public final FigureEnumeration figures() {		return new FigureEnumerator(CollectionsFactory.current().createList(fFigures));	}