Naive update to use jline 2.11