Instances of this class are thrown by BCEL's class file verifier "JustIce"
verification proves that some constraint of a class file (as stated in the
Java Virtual Machine Specification, Edition 2) is violated.
This is roughly equivalent to the VerifyError the JVM-internal verifiers
Extends the error message with a string before ("pre") and after ("post") the
'old' error message. All of these three strings are allowed to be null, and null
is always replaced by the empty string (""). In particular, after invoking this
method, the error message of this object can no longer be null.