else if (iThrowError) throw new UnsupportedMethodError();
  public static void readHistoryFile(String filename)                              throws EOFException, UnsupportedEncodingException {    if (iLib != ReadlineLibrary.PureJava)      readHistoryFileImpl(filename);  }