Name: saC57035 Date: 12/16/96


The java_io.StreamTokenizer.pushBack() specification needs updating.
The problem is that current description of pushBack method gives no
opportunity to report on any errors which may occur during pushBack
call. For example, pushBack may be called before nextToken is called
first time, or even pushBack may be called two or more times. Both
situations are evidently erroneous but no opportunity of reporting is
provided.

I propose to specify pushBack as throwing IOException which will signal
on such errors.
 ======================================================================