src/jdk.jshell/share/classes/jdk/internal/jshell/tool/IOContext.java

rev 3613 : imported patch 8131023

*** 52,61 ****
--- 52,63 ----
  
      public abstract void afterUserCode();
  
      public abstract void replaceLastHistoryEntry(String source);
  
+     public abstract int readUserInput();
+ 
      class InputInterruptedException extends Exception {
          private static final long serialVersionUID = 1L;
      }
  }