JavaDoc
* Returns the character at the specified index. An index
* ranges from <codeɬ</code> to <code>length() - 1</code>.
* @param index the index of the desired character.
* @return the desired character.
* @exception StringIndexOutOfRangeException
* if the index is not in the range <codeɬ</code>
* to <code>length()-1</code>.
* @see java.lang.Character#charValue()
public char charAt(int index) {