Merge proposals

antlr4 in Ubuntu has no merge proposals.