4.6.0.1 (Optimized)

This patch release builds on the 4.6 (Optimized) release with fixes for the following issues:

• antlr/antlr4#1543 (also reported here as #13)
• antlr/antlr4#1556