[jdk13u-dev] RFR: 8229815: Upgrade Jline to 3.12.1

[Ekaterina Vergizova]

I'd like to backport JDK-8229815 to 13u for parity with 11u.
The patch applies cleanly.
Tested with tier1 and jshell tier2 tests.

-------------

Commit messages:
 - Backport a9952bb5d9fe2fbf12d4ba43608dfc830180ec86

Changes: https://git.openjdk.java.net/jdk13u-dev/pull/124/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk13u-dev&pr=124&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8229815
  Stats: 1501 lines in 103 files changed: 880 ins; 147 del; 474 mod
  Patch: https://git.openjdk.java.net/jdk13u-dev/pull/124.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk13u-dev pull/124/head:pull/124

PR: https://git.openjdk.java.net/jdk13u-dev/pull/124