upgraded jline to jline2; this fixed delete/backspace issues on some platforms (e.g., Mac OS)