public char charAt(int pos) { if (pos >= length_) throw new StringIndexOutOfBoundsException(String.valueOf(pos));
public final char charAt(int pos) {
	public char charAt(int pos) {		if (pos >= length_)			throw new StringIndexOutOfBoundsException(String.valueOf(pos));		return value_[start_ + pos];	}