Merge pull request #11707 from griggt/jline-3.19.0

Upgrade JLine to 3.19.0

Author: OlivierBlanvillain

project/Build.scala

@@ -415,9 +415,9 @@ object Build {
       libraryDependencies ++= Seq(
         "org.scala-lang.modules" % "scala-asm" % "9.1.0-scala-1", // used by the backend
         Dependencies.oldCompilerInterface, // we stick to the old version to avoid deprecation warnings
-        "org.jline" % "jline-reader" % "3.15.0",   // used by the REPL
-        "org.jline" % "jline-terminal" % "3.15.0",
-        "org.jline" % "jline-terminal-jna" % "3.15.0" // needed for Windows
+        "org.jline" % "jline-reader" % "3.19.0",   // used by the REPL
+        "org.jline" % "jline-terminal" % "3.19.0",
+        "org.jline" % "jline-terminal-jna" % "3.19.0" // needed for Windows
       ),
 
       // For convenience, change the baseDirectory when running the compiler