[PATCH] attributed string fixes

[Tom Tromey]

>>>>> "graydon" == graydon hoare <graydon@redhat.com> writes:

graydon> 2003-11-18  Graydon Hoare  <graydon@redhat.com>
graydon> 	* java/text/AttributedString.java: Fix arithmetic.
graydon> 	* java/text/AttributedStringIterator.java: Likewise.

Looks good, please commit.
Actually, could you update the javadoc for the addAttribute methods
to clarify that "end_index" is one more than the index of the final
character?

Tom