Package jml2b

Interface Summary

IJml2bConfiguration

The interface defines the configuration of the PO generator and the lemma viewer

Class Summary

astprint	Simple class that prints Java/JML classes.
Jml2b
Jml2bConfig
Serializer	Simple application loading the java.lang classes and serializing them using the Java serialisation mechanism.