[FIX] Switched to JLine 2.12. Fixes #619