Testcases for the Universe type system.
File is automatically generated.
Use $(JAVA) to run the correct java binary.
Integration of the Universe type system.
Additional testcases for the Universe type system.
Some updates for the Universe type system.
New files for the Universe type system.
Corrected wrong package specification.