This PicoJava example duplicates the functionality of the JastAdd example
that can be found at

    http://jastadd.cs.lth.se/examples/PicoJava/index.shtml

In the attribution modules, the original JastAdd attribute definitions and
equations can be found in the comments of the attribute values.
