The global MAVEN_OPTS option isn't actually saving anything - turns out the underlying problem here is that I needed to add TopLevelItemDescriptor to the list of descriptors that get configure called against them when the global configuration is saved, and I needed to tweak the global.jelly for MavenModuleSet to use ${descriptor.globalMavenOpts}, not ${it.globalMavenOpts}.