Minor antlr plugin config change.