/Document.java/1.1/Wed Jun  9 09:52:57 2004//
/DocumentFactory.java/1.1/Wed Jun  9 09:52:58 2004//
/FastVector.java/1.1/Wed Jun  9 09:52:59 2004//
/FileDocument.java/1.1/Wed Jun  9 09:53:01 2004//
/InputStreamProgressEvent.java/1.1/Wed Jun  9 09:53:02 2004//
/InputStreamProgressListener.java/1.1/Wed Jun  9 09:53:03 2004//
/InputStreamProgressListenerVector.java/1.1/Wed Jun  9 09:53:04 2004//
/LinePushBackReader.java/1.1/Wed Jun  9 09:53:05 2004//
/OutOfRangeException.java/1.1/Wed Jun  9 09:53:06 2004//
/ProgressInputStream.java/1.1/Wed Jun  9 09:53:08 2004//
/PushBackException.java/1.1/Wed Jun  9 09:53:09 2004//
/ReadOnlyException.java/1.1/Wed Jun  9 09:53:10 2004//
/StringVector.java/1.1/Wed Jun  9 09:53:11 2004//
/URLDocument.java/1.1/Wed Jun  9 09:53:16 2004//
/WorkingGZIPInputStream.java/1.1/Wed Jun  9 09:53:17 2004//
D
