Name: saC57035 Date: 12/14/96


The java_io.StreamTokenizer specification does not describe how setting
of one attribute may affect other attributes.
The JLS says:(it. 22.14):
"The character value is used to look up five possible attributes of the character:
whitespace, alphabetic, numeric, string quote, and comment character (a character
may have more than one of these attributes, or none at all)."
         ^^^^^^^^^^^^^
But none of specs of methods which sets some attributes describes how this setting
affects the attributes which were set before.


This is very important because of fact that JavaSoft implementation
treats various attributes in different ways. Eg. whitespaceChars(..)
removes all previous attributes of the characters, and wordChars(..)
adds the new attribute preserving previous attributes.======================================================================