The relevant upstream bug report is http://sourceforge.net/tracker/index.php?func=detail&aid=1556679&group_id=64033&atid=506056
The comments of this bug report indicate that this bug is fixed in the master branch at https://github.com/gnodet/jline/ I'm working on building this branch right now, hopefully I'll be able to report back that this branch fixed the problem. -- Chanoch (Ken) Bloom. PhD candidate. Linguistic Cognition Laboratory. Department of Computer Science. Illinois Institute of Technology. http://www.iit.edu/~kbloom1/ __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
