Added support for handling exceptions thrown by Java methods of the
Rascal standard library. Fixes #433.
Added the test case of #433.