Christian,

I hadn't -- I wasn't sure if BaseX would still run or what value to try.  What do you suggest I start with?  -Xmx1000m instead of -Xmx1400m?  Less?