return new String(value_, start_ + start, end - start);
return new XMLString(value_, start_ + start, end - start);
	public final CharSequence subSequence(int start, int end) {		return new String(value_, start_ + start, end - start);	}