fixes #2032 ; however still would benefit from jline3 support

src/org/rascalmpl/repl/TerminalProgressBarMonitor.java

@@ -419,7 +419,16 @@ static int getCursorPosition(PrintWriter writer, InputStream in) throws IOExcept
 
             byte[] col = new byte[32];
             int len = in.read(col);
-            String echo = new String(col, 0, len, Configuration.getEncoding());
+            String echo;
+
+            try {
+                echo = new String(col, 0, len, Configuration.getEncoding());
+            }
+            catch (StringIndexOutOfBoundsException e) {
+                // this happens if there is some other input on stdin (for example a pipe)
+                // TODO: the input is now read and can't be processed again.
+                echo = "";
+            }
 
             if (!echo.startsWith("\u001B[") || !echo.contains(";")) {
                 return -1;