common/src/main/java/HTTPClient/BufferedInputStream.java
/**
     * Fill buffer by reading from the underlying stream. This assumes the
     * current buffer is empty, i.e. pos == end.
     */
Fill buffer by reading from the underlying stream. This assumes the
current buffer is empty, i.e. pos == end.
Fill buffer by reading from the underlying stream . This assumes the current buffer is empty i . e . pos == end .
private final void fillBuff() throws IOException
    {
	if (mark_pos > 0)	
	{
	    if (end >= buffer.length)
	    {
		System.arraycopy(buffer, mark_pos, buffer, 0, end - mark_pos);
		pos = end - mark_pos;
	    }
	}
	else if (mark_pos == 0  &&  end < buffer.length)
	    ;			
	else
	    pos = 0;		
	end = pos;
	    end = pos + got;
    }
private final void fillBuff ( ) throws IOException { if ( mark_pos > 0 ) { if ( end >= buffer . length ) { System . arraycopy ( buffer , mark_pos , buffer , 0 , end - mark_pos ) ; pos = end - mark_pos ; } } else if ( mark_pos == 0 && end < buffer . length ) ; else pos = 0 ; end = pos ; end = pos + got ; }
Fill buffer by reading from the underlying stream.
Fill buffer by reading from the underlying stream .
// keep the marked stuff around if possible
 // only copy if we don't have any space left
 // pos == end, so we just fill what's left
 // try to fill complete buffer
 // make sure our state is consistent even if read() throws InterruptedIOException
 //@gusbro
    int got = in.read(buffer, pos, (buffer.length - pos < 524288 ? buffer.length - pos : 524288));
 //@gusbro\
	if (got > 0)
