header.append("\\cpg");
header.append("\\ansicpg");
	void writeHeader() {		StringBuffer header = new StringBuffer();		FontData fontData = getFont().getFontData()[0];		header.append("{\\rtf1\\ansi\\deff0{\\fonttbl{\\f0\\fnil");		// specify code page, necessary for copy to work in bidi 		// systems		String cpg = System.getProperty("file.encoding");		if (cpg.startsWith("Cp") || cpg.startsWith("MS")) {			cpg = cpg.substring(2, cpg.length());			header.append("\\cpg");			header.append(cpg);		}		header.append(" ");		header.append(fontData.getName());		header.append(";}}\n{\\colortbl");		for (int i = 0; i < colorTable.size(); i++) {			Color color = (Color) colorTable.elementAt(i);			header.append("\\red");			header.append(color.getRed());			header.append("\\green");			header.append(color.getGreen());			header.append("\\blue");			header.append(color.getBlue());			header.append(";");		} 		// some RTF readers ignore the deff0 font tag. Explicitly 		// set the font for the whole document to work around this.		header.append("}\n{\\f0\\fs");		// font size is specified in half points		header.append(fontData.getHeight() * 2);		header.append(" ");		write(header.toString(), 0);	}