antlr/antlr4 — pull request #618 by sharwell (2014-06-10 22:32:27+00:00)
Title: Fix cases where file encoding was not handled properly in the tool

Fixes #563