12 public static void main(String[] args) {
13 String[] jsargs = {
"-j="+args[0]};
15 String[] allArgs =
new String[jsargs.length + args.length];
16 System.arraycopy(args, 0, allArgs, 0, args.length);
17 System.arraycopy(jsargs, 0, allArgs, args.length ,jsargs.length);
19 org.mozilla.javascript.tools.shell.Main.main(allArgs);