[maven-release-plugin] prepare release 4.2
[maven-release-plugin] prepare for next development iteration
Merge pull request #460 from sharwell/release/4.2
[maven-release-plugin] prepare release 4.2-opt
Merge remote-tracking branch 'antlr/master' into optimized