int BufferedReader.read ( char[] m, int offset, int len )