Update jline to 2.11. Fixes #732.