public String getText() {
		StringBuffer buf = new StringBuffer();
		for (int i = 0; i < lines.length; ++i) {
			if (lines[i].length() > 0) {
				buf.append(' ');
				buf.append(lines[i]);
			}
		}
		return buf.toString().trim();
	}