There should just be 1 module-def for org.jboss.as.jpa.spi with 2 maven-resource children.

It's actually a bug in how the module-def macro works that allows having two of these like this to work.