Merge proposals

janino in Ubuntu has no merge proposals.