Fix wrong antlr artifact