@Deprecated @Override public String readLine() throws IOException {
  StringBuilder b=new StringBuilder(0);
  int chr;
  while ((chr=read()) >= 0) {
    if (chr != '\n') {
      b.append((char)chr);
    }
 else {
      return b.toString();
    }
  }
  return b.toString();
}

@ Deprecated @ Override public String readLine ( ) throws IOException { StringBuilder b = new StringBuilder ( 0 ) ; int chr ; while ( ( chr = read ( ) ) >= 0 ) { if ( chr != '\n' ) { b . append ( ( char ) chr ) ; } else { return b . toString ( ) ; } } return b . toString ( ) ; }
emulate the deprecated datainputstream . readline ( ) method . originally we used the method itself , but alan brighton suggested using a java . io . bufferedreader to eliminate the deprecation warning . this was used for a long time , but more recently we noted that this doesn ' t work . we now use a simple method that largely ignores character encodings and only uses the " \ n " as the line separator . this method is slow regardless . in the current version
