This program lets you run the positive dominance tests
from Part 2 of the monograph, the ones used in the proof
of the Forcing Lemma.

To compile the program, type the command javac *.java
To run the program type java Main
What should pop up is two windows:
the control panel and a documentation window.

There is an auxiliary directory called ZPure which has
the code for the tests with the graphical user interface
stripped away.  This code is easier to inspect.



