>>>>> "Mark" == Mark Wielaard <[EMAIL PROTECTED]> writes:
Mark> I think that is not necessary because my feeling is that Mark> normally one does not set a mark much larger then the buffer Mark> size given to BufferedInputStream and when someone does set such Mark> a large mark then it is likely that the same large limit is used Mark> again later. I think this is fine. If it turns out to be a problem we can always change it later. Anybody really interested could also see what the JDK does. Tom _______________________________________________ Classpath mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/classpath
