Extend Java-based exception handlers. [1682]

This removes “formatException” and adds “formatJavaException” and
“formatJythonException”. It seems to work a little better with grabbing
the parent Throwable of a PyException.

Still, I’m not entirely happy with the way this handles passing the
context back to the user’s code…so I’ll preemptively apologize for any
versioning dances.