System.out.println();
  public static void main(String[] args) {    String line;    Readline.initReadline("ReadLineTest"); // init, set app name, read inputrc    try {      if (args.length > 0)	Readline.readInitFile(args[0]);    // read private inputrc    } catch (IOException e) {              // this deletes any initialization      System.out.println(e.toString());    // from /etc/inputrc and ~/.inputrc	System.exit(0);    }    // read history file, if available    File history = new File(".rltest_history");    try {      if (history.exists())	Readline.readHistoryFile(history.getName());    } catch (Exception e) {      System.err.println("Error reading history file!");    }          // define some additional function keys    Readline.parseAndBind("\"\\e[18~\":	\"Function key F7\"");    Readline.parseAndBind("\"\\e[19~\":	\"Function key F8\"");    // set test completer    Readline.setCompleter(new TestCompleter());    while (true) {      try {	line = Readline.readline("linux> ");	if (line == null)	  System.out.println("no input");	else	  System.out.println("line = >" + line + "<");      } catch (UnsupportedEncodingException enc) {	  System.err.println("caught UnsupportedEncodingException");      } catch (EOFException eof) {	try {	  Readline.writeHistoryFile(history.getName());	} catch (Exception e) {	  System.err.println("Error writing history file!");	}	System.exit(0);      }    }  }