488     }

   488     }

   489 

   489 

   490 

   490 

   491     private static String exec(String c) {

   491     private static String exec(String c) {

   492         StringTokenizer st = new StringTokenizer(c);

   492         StringTokenizer st = new StringTokenizer(c);

   494         while (st.hasMoreTokens()) {

   494         while (st.hasMoreTokens()) {

   495             v.addElement(st.nextToken());

   495             v.addElement(st.nextToken());

   496         }

   496         }

   497         final String[] command = new String[v.size()];

   497         final String[] command = new String[v.size()];

   498         v.copyInto(command);

   498         v.copyInto(command);