[CZT-Users] Corejava release 1.1.1

[Petra M. <pe...@cs...>]

Hi,

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 fixes a few bugs:

  * API Change:
    change all immutable properties to be mutable since immutable properties
    are no longer needed (they were there for historic reasons)
    => all getter methods that return an immutable list in corejava_1_1_0
       now return a (mutable) list (an example is getDeclName() in AxPara)
    => there are a few more setters now (an example is setName(String)
       in ZSect)
    => there are a few more default factory methods in CoreFactory and
       CoreFactoryImpl (an example is createAxPara())
    => some of the constructors of the implementation classes in package
       have changed; now none of the constructors accepts arguments
       (this should not have influence on applications since these
       constructors are not supposed to be used by applications :-)
    => remove class ImmutableList since it is no longer used

  * add namespace information to the DOM output and write each node
    on its own line (indentation is still missing)

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


Hava fun,
Petra