Silence some warnings in the antlr code