Exception classes used by JustIce, mostly used internally. You don't need to bother with them.

Package Specification

Contained in this package are Exception classes for use with the JustIce verifier.