On 18/09/15 01:20, Maurizio Cimadamore wrote: > Now I'm confused Less confused now - you prefer changing jline's package instead of jshell's. That should work too (dunno if jshell uses other stuff inside other jdk.internal sub-packages). Whatever works - as long as jshell, jline and any other JDK dependencies end up with same package name. Maurizio