public static JTextArea ta(String value, int cols, int rows,
			P1<String> onChange) {
		JTextArea ta = new JTextArea(value, rows, cols);
		if (onChange != null) {
			onChange(ta, onChange);
		}
		return ta;
	}