/VariablePushbackReader.java/1.5/Tue Nov 16 09:51:42 2004//
