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.

Related Documentation