samples/shell.js

*** 40,49 ****
--- 40,50 ----
  (function() {
      // Java classes used
      var Arrays = Java.type("java.util.Arrays");
      var BufferedReader = Java.type("java.io.BufferedReader");
      var InputStreamReader = Java.type("java.io.InputStreamReader");
+     var List = Java.type("java.util.List");
      var ProcessBuilder = Java.type("java.lang.ProcessBuilder");
      var System = Java.type("java.lang.System");
  
      // print prompt
      function prompt() {
*** 64,74 ****
                      if (res != undefined) {
                          print(res);
                      }
                  } else {
                      // build child process and start it!
!                     new ProcessBuilder(Arrays.asList(args))
                          .inheritIO()
                          .start()
                          .waitFor();
                  }
              } catch (e) {
--- 65,75 ----
                      if (res != undefined) {
                          print(res);
                      }
                  } else {
                      // build child process and start it!
!                     new ProcessBuilder(Java.to(args, List))
                          .inheritIO()
                          .start()
                          .waitFor();
                  }
              } catch (e) {