Miscellaneous utilities for the Starjava classes (documentation)

 This package is a helper function for the other Starjava packages. It
 contains a number of helper and utility classes that don't fit elsewhere.
 .
 Classes include some basic functionality like lists for Java
 primitives, input/output classes, gui classes, DTD and xsd etc.
 .
 This package contains the JavaDoc documentation of the package.