RuleBlock.java line 159 (version 2.7.1):

else if (key.equals("generateAmbigWarnings")) {

Shouldn't that be

else if (key.getText().equals("generateAmbigWarnings")) {

?

The more general question concerns generateAmbigWarnings, which I can't seem to get working (even with the above change to RuleBlock).

Is that correct option for turning off warnings about
non-determinism?

Thanks,
Al