1 The verifier tests come from Mauve.
2 See http://sources.redhat.com/mauve
4 You want the "verify" module in the Mauve cvs repository.
6 In Mauve, only the sources are checked in. However, these need
7 jasmin to be compiled to bytecode. Since jasmin would require either
8 another VM or gcj itself to already be working and installed (just to
9 compile it), we've chose to precompile all the .j files to .class
10 files and then import the result.