p.suspend ();
} catch (AlreadySuspendedException as) {
// the better, make checkstyle happy
int dummy = 0;
}
p.abort ();
} catch (CannotSuspendException ee) {
throw new CannotStopException
("To be aborted sub-process cannot be suspended: "
+ e.getMessage ());
} catch (NotRunningException ee) {