JLine 3: switch to "fine-grained" JARs?

[SethTisue]

on the big PR @som-snytt wrote:

Also relevant is the todo for separate REPL jar,
and whether to use the "fine-grained" jline jars

separate REPL JAR seems out of scope to me at the moment, but perhaps someone wants to speak up for it

@som-snytt what are fine-grained jline jars?

[SethTisue]

what are fine-grained jline jars?

ah, this is documented at https://github.com/jline/jline3#artifacts

the jar size difference is

264K	jline-2.14.6.jar
716K	jline-3.12.1.jar

probably not a blocker for 2.13.2, but a possible later refinement, to cut this down?

[SethTisue]

meh, I don't think we need to leave this open. just using the combined JAR has the substantial advantage of simplicity, for both users and maintainers. and we know from scala/bug#11654 that the JLine JAR is only needed when you're actually using it.