When JLine reads a line, there may be a prompt provided. However, JLine will
not interpret the prompt literally, it will handle `%` specially. As a
consequence, doing:
System.console().readLine("%%s");
will not print `%s`, as first `String.format` is used, which will convert `%%s`
to `%s`, and then JLine will interpret the `%`. The proposed solution is to
duplicate the `%`, so that JLine will print it.
-------------
Depends on: https://git.openjdk.org/jdk/pull/18996
Commit messages:
- 8331535: Incorrect prompt for Console.readLine
Changes: https://git.openjdk.org/jdk/pull/19081/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=19081&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8331535
Stats: 106 lines in 2 files changed: 104 ins; 0 del; 2 mod
Patch: https://git.openjdk.org/jdk/pull/19081.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/19081/head:pull/19081
PR: https://git.openjdk.org/jdk/pull/19081
