> That's not true. This change is the master pom, whereas the JGroups settings are in the orm pom. Why not add the property there then?

depends on which modules it needs to apply to, you could move the JGroups options to the master too but there's no need for that.