public void abortOther() { other = new JustSomeClass(); doThrow(10, other); }
public void abortOther () { other = new JustSomeClass (); doThrow (10, other); }