Re: Merging BufferedInputStream with libgcj

[Tom Tromey]

>>>>> "Mark" == Mark Wielaard <address@hidden> 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