Then let's fix this in trunk, given the fact that we've released several versions of the engine (1.0.0 - 1.0.18) until now with antlr embedded.
Thanks, Radu On Mon, 27 Feb 2017 at 17:05 Karl Pauls <karlpa...@gmail.com> wrote: > That said, if you fix it in trunk and get the majority of the votes I > suppose it isn't the end of the world as there are already releases of > the binary with this issue. >