The JVMUserOptions feature doesn't work as advertised on Mac OSX. The fundamental reason is because the storage mechanisms of the Java Prefrences �API are different from what might be expected, with esoteric rules about what the name of the persistence domain is and what the name of the root element is.

So setting a java.util.prefs.Prefrences is never reflected in the startup of the program.

To fix this, we need to make the launcher honor the esoteric rules of the backing store for Java Preferences on OSX.