JCS - ReadStdinInt

File	Doc	Category	Size	Date	Package
ReadStdinInt.java	API Doc	Example	664	Thu Mar 15 12:53:20 GMT 2001	None
ReadStdinInt.java	API Doc	Example	672	Sun Feb 08 17:57:30 GMT 2004	None