Message749

Around line 155 of Options.java in the setFromRegistry() 
method it says:

> Options.caseok =
>     getBooleanOption("options.caseok",
>     Options.pollStandardIn);

This means that the "caseok" option defaults to the 
(variable) pollStandardIn option.  This is a typo (actually 
probably a "cut-and-paste-o"). I think the line should read:

> Options.caseok =
>     getBooleanOption("options.caseok",
>     Options.caseok);