void replace(Options options) {
			Object oldValue = options.getObject(oldName, null);
			if (oldValue == null) {
				return;
			}

			if (options.isDefaultValue(oldName)) {
				return;
			}

			if (!options.isDefaultValue(newName)) {
				return; // don't overwrite user's updated value
			}

			Object newValue = replacer.apply(oldValue);
			options.putObject(newName, newValue);
		}
A simple object that contains the new and old option name along with the replacer function 
that will handle the option replacement.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/AnalysisOptionsUpdater.java