Property definitions for standard Java exceptions

[dbeyer]

Integrate property definitions for standard exceptions. There are various examples in the code base of SV-COMP triggering standard exceptions. As these are standard exceptions, Java verification tools should be able to detect them from my point of view. It would be interesting to make this also part of the competition.

This issue was communicated by @mmuesly in pull request #823.

[dbeyer]

This should be done, after a short discussion at the next community meeting on how to best implement this.