...
The following files contain large formulas that can be reduced by your simplifier. Only the files named {{bigData}}x require a larger thread stack size than the JVM default on most platforms. *To NOTE: to handle the {{bigData}}x files, you must
set JVM argument -Xss64M for the Interactions JVM using the DrJava Preferences command on the Edit menu. * The JVM argument setting can be found on the last panel (called JVMs) in the Preferences categories tree.
...