> 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.

so which other module would be important to have this settings? Is it not really the orm module we care about here?