If you want to run experiments with XCheck-Java, download the entire XCheck-Java package (XCheck-Java.zip). It includes all you need to run experiments plus examples of experiments we have performed, documentation and source code (see documentation for how to run XCheck-Java).
Download only the source code (source.zip) if you are interested in XCheck-Java encoding. The source code includes:
Recall that XCheck-Java is released under the GNU General Public License as published by the Free Software Foundation (read the license distributed with the package).