Merge proposals dependent on lp:juppaal

lp:juppaal has no merge proposals.