> No, it's an environment property.

Ok, that was a misunderstanding then.

> No JGroups options are defined in that same systemPropertyVariables element.

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?