146147148149150151152153154155156
("open.not_running.suspended").iterator(); if (!sa.hasNext ()) { proc.terminate(); } else { WfActivity act = (WfActivity)sa.next (); act.abort(); } if (!waitForState (proc, "closed")) { System.out.println ("Cannot terminate " + proc); return; }