Corejava Release 1.1.1

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools.

corejava 1.1.1 has been released. It contains Java source code for Z annotated syntax trees, reading and writing XML files etc.

This release makes some minor improvements and fixes:
* immutable classes (Name, RefName, DeclName) have been relaxed to allow mutation. They now support extra setters and return standard lists rather than immutable lists.

* namespace information has been added to the DOM output and each node is now written on its own line (indentation is still missing)

* the CLASSPATH environment variable is now used when running the examples and tests to avoid NoClassDefFoundError when CLASSPATH is set properly but jwsdp.home is not set.

https://sourceforge.net/projects/czt/