Merge proposals

junit5-system-exit in Ubuntu has no merge proposals.