1.1 --- a/samples/shell.js Fri Jan 30 15:03:56 2015 +0100 1.2 +++ b/samples/shell.js Thu Feb 12 16:43:33 2015 +0100 1.3 @@ -42,7 +42,6 @@ 1.4 var Arrays = Java.type("java.util.Arrays"); 1.5 var BufferedReader = Java.type("java.io.BufferedReader"); 1.6 var InputStreamReader = Java.type("java.io.InputStreamReader"); 1.7 - var List = Java.type("java.util.List"); 1.8 var ProcessBuilder = Java.type("java.lang.ProcessBuilder"); 1.9 var System = Java.type("java.lang.System"); 1.10 1.11 @@ -67,7 +66,7 @@ 1.12 } 1.13 } else { 1.14 // build child process and start it! 1.15 - new ProcessBuilder(Java.to(args, List)) 1.16 + new ProcessBuilder(Arrays.asList(args)) 1.17 .inheritIO() 1.18 .start() 1.19 .waitFor();