antlr/antlr4 — pull request #617 by sharwell (2014-06-10 21:30:22+00:00)
Title: Fix 588

Fixes #588