--- a/src/jdk.internal.le/share/classes/jdk/internal/jline/Terminal.java	Fri Jun 01 11:34:13 2018 +0200
+++ b/src/jdk.internal.le/share/classes/jdk/internal/jline/Terminal.java	Fri Jun 01 13:04:30 2018 +0200
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2002-2012, the original author or authors.
+ * Copyright (c) 2002-2016, the original author or authors.
  *
  * This software is distributable under the BSD license. See the terms of the
  * BSD license in the documentation provided with this software.
@@ -60,6 +60,9 @@
 
     void setEchoEnabled(boolean enabled);
 
+    void disableInterruptCharacter();
+    void enableInterruptCharacter();
+
     String getOutputEncoding();
 
 }