New jline: BSD licensed, based on [ https://git...

New jline: BSD licensed, based on [ https://github.com/jdillon/jline2 ]
with additional code thanks to [ https://github.com/huynhjl/jline2 ].
Replaces lib/jline.jar with build of these sources, and modifies trunk
code to work with the new jar.

Hopeful improvements including baseline functionality on cygwin
and 64bit windows, as well as more accurate line wrapping / cursor
positioning on all platforms and ctrl-R history search.

For the time being the canonical source repository is this:

  https://github.com/paulp/jline2

The enclosed sources are a mirror of that repository, and should be
treated as read-only in the scala svn repository.

No review, codewise, but people are very strongly encouraged to try it
out and report any regressions.

1 files changed, 3 insertions, 3 deletions

diff --git a/test/partest.bat b/test/partest.bat
index 39fe830082..234f8de9ae 100755
--- a/test/partest.bat
+++ b/test/partest.bat
@@ -19,7 +19,7 @@ if "%OS%"=="Windows_NT" (
   call :set_home

   set _ARGS=%*

 ) else (

-  set _SCALA_HOME=%SCALA_HOME%

+  set _SCALA_HOME="%SCALA_HOME%"

   rem The following line tests SCALA_HOME instead of _SCALA_HOME, because

   rem the above change to _SCALA_HOME is not visible within this block.

   if "%SCALA_HOME%"=="" goto error1

@@ -31,11 +31,11 @@ set _JAVACMD=%JAVACMD%
 if "%_JAVACMD%"=="" set _JAVACMD=java

 

 rem We use the value of the JAVA_OPTS environment variable if defined

-set _JAVA_OPTS=%JAVA_OPTS%

+set _JAVA_OPTS="%JAVA_OPTS%"

 if "%_JAVA_OPTS%"=="" set _JAVA_OPTS=-Xmx256M -Xms16M

 

 rem We use the value of the SCALAC_OPTS environment variable if defined

-set _SCALAC_OPTS=%SCALAC_OPTS%

+set _SCALAC_OPTS="%SCALAC_OPTS%"

 if "%_SCALAC_OPTS%"=="" set _SCALAC_OPTS=-deprecation

 

 set _EXTENSION_CLASSPATH=