1 for testing with a release build, use
5 for testing a release build against OpenJDK output, use
9 for testing with a debug build, use edit Mate/Debug.hs and set
10 `mateDEBUG = True' and build again. Output is in `mate.log'
12 for debugging with gdb, modify Mate/MethodPool.hs and enable Debugging in
13 Mate/Debug.hs, then use
15 and follow the instructions in the source file.