else if (name.equals("ureJava"))
else if (name.equals("PureJava"))
  public static ReadlineLibrary byName(String name) {    if (name.equals("GnuReadline"))      return GnuReadline;    else if (name.equals("Editline"))      return Editline;    else if (name.equals("ureJava"))      return PureJava;    return null;  }