scala/scala — pull request #3921 by gourlaysama (2014-08-07 15:28:14+00:00)
Title: remove jline sources from src/ now that we use a released jline.

We don't need those, right?
We don't even build that folder anymore (since 1b0fa91), it is just dead
code.