108109110111112113114115116
} @Override public final Disambiguator getDisambiguator() { if (disambiguator == null) { disambiguator = new DutchRuleDisambiguator(); } return disambiguator; }