---

Reader.java

package gov.nasa.arc.ase.jpf.jvm;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;
import java.io.*;
//#ifdef JDK11


//#else JDK11
import java.util.*;
//#endif JDK11

public class Reader{
  private static BufferedReader in = 
    new BufferedReader(new InputStreamReader(System.in));

  public static boolean interrupt(){
    return read();
  }  
  public static void process(List lines){
    /* Process the read lines - opdate options etc. */
  }  
  public static boolean read() {
    try {
      if (in.ready()){
        List lines = new ArrayList();
        String line;
        while (in.ready()){
          line = in.readLine();
          lines.add(line);
        };
        process(lines);
        return true;
      }
    }catch(IOException e){
      e.printStackTrace();
      throw new JPFErrorException("");//System.exit(1);
    }
    return false;
  }  
}

---