public void write(char[] b, int off, int len) throws IOException {
			if (!initialized) {
				area.setText("");
				initialized = true;
			}
			// /#ifdef AWT10
			// / area.appendText(new String(b, off, len));
			// /#else
			area.append(new String(b, off, len));
			// /#endif
		}