On Thu, 9 Aug 2001, Michael Shamberger wrote: > It looks like the script is having trouble with command line options > to the JAVA_CMD variable: OK, I've put a warning message into the WHATSNEW document. Stefan