return line;
if (line == null) throw new EOFException("EOF"); return (line.length() == 0) ? null : line;
  public static String readline(String prompt) throws EOFException,                                     IOException, UnsupportedEncodingException {    if (iLib != ReadlineLibrary.PureJava)      return readlineImpl(prompt);    else {      System.out.print(prompt);      if (iReader == null)	iReader = new BufferedReader(new InputStreamReader(System.in));      String line = iReader.readLine();      return line;    }  }