Name: diC59631 Date: 05/29/98


The String.trim() documentation states:
"Removes white space from both ends of this string."

The String class description says:
"Strings are constant; their values cannot be changed after they are created."

These two statements are inconsistent. It would be
better to if the trim() doc said something like
"returns a copy of the string, with leading and
trailing whitespace omitted".
(Review ID: 26103)
======================================================================