private helper class for local termination of JPF (without killing the
whole Java process via System.exit).
While this is basically a bad non-local goto exception, it seems to be the
least of evils given the current JPF structure, and the need to terminate
w/o exiting the whole Java process. If we just do a System.exit(), we couldn't
use JPF in an embedded context