@Override
	public void copySetting(Settings settings, Settings destSettings) {
		Long l = settings.getLong(TERMINATED);
		if (l == null) {
			destSettings.clearSetting(TERMINATED);
		}
		else {
			destSettings.setLong(TERMINATED, l);
		}
	}
Gets the current termination setting from the given settings objects or returns
the default if not in either settings object
@param settings the instance settings
@return the current value for this settings definition
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/TerminatedSettingsDefinition.java