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