int BufferedInputStream.read( byte[] m, int offset, int len )