This is smartly declared so you can use either version:

  fail();
  throw fail();

(Actually JavaX, as of #752, now rewrites "fail()" to "throw fail()".)