[jboss-jira] [JBoss JIRA] (WFCORE-687) patches with duplicate element patch-id values should be rejected