Merge proposals

jenkins-dom4j in Ubuntu has no merge proposals.