jline/jline — pull request #6 by talsalmona (2012-02-12 08:30:27+00:00)
Title: Fix for issue #4

Hi,
Here is a fix for this issue (I hope)
https://github.com/jline/jline/issues/4