values = lineStyles.values().iterator(); while (values.hasNext()) { StyledTextEvent event = (StyledTextEvent) values.next();
values = lineStyles.elements(); while (values.hasMoreElements()) { StyledTextEvent event = (StyledTextEvent) values.nextElement();
	void createPrinterColors() {		Iterator values = lineBackgrounds.values().iterator();		printerColors = new Hashtable();		while (values.hasNext()) {			StyledTextEvent event = (StyledTextEvent) values.next();			event.lineBackground = getPrinterColor(event.lineBackground);		}				values = lineStyles.values().iterator();		while (values.hasNext()) {			StyledTextEvent event = (StyledTextEvent) values.next();			for (int i = 0; i < event.styles.length; i++) {				StyleRange style = event.styles[i];				Color printerBackground = getPrinterColor(style.background);				Color printerForeground = getPrinterColor(style.foreground);								if (printerBackground != style.background || 					printerForeground != style.foreground) {					style = (StyleRange) style.clone();					style.background = printerBackground;					style.foreground = printerForeground;					event.styles[i] = style;				}			}		}			}