ret.elements.add(element);
		public PublicCloneable clone()  {			EnumerationContents ret = new EnumerationContents();			for (Iterator<EnumElement> iter = elements.iterator(); iter.hasNext();) {				EnumElement element = iter.next();			}			return ret;		}