System.exit in finally hides a failing assertion (false SAFE) #60

If the program calls System.exit inside a finally block while an AssertionError is propagating, SWAT reports SAFE although the assertion fails.

Reproducer:

int x = Verifier.nondetInt();
try {
  assert x != 7;
} finally {
  if (x == 7) System.exit(3);
}

Expected: VIOLATION (or UNKNOWN). Actual: [VERDICT valid-assert.prp] == OK.

The JVM exits before the assertion failure is recorded as a target. No current sv-benchmarks Java task calls System.exit.