String begin,label,action,end;
String test ="( 0, t0=0 i(coin_in), 1 )";
         test=test.replace('(',' ');
         test=test.replace(')',' ');
         test=test.replace(',',' ');
         test=test.trim();
         String[] test2= test.split("\\s+");
         
         begin = test2[0];
         label =  test2[1];
 action = test2[2]+"("+test2[3]+")";
 end = test2[4];
 System.out.println("begin="+begin + " label="+label + " action="+action+ " end="+end);