...
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 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.
...