Changes the character at the specified index to be ch. @param index the index of the character @param ch the new character @exception StringIndexOutOfBoundsException If the index is invalid.
(int index, char ch)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected