protected final void updateStateFromVariables() {
		state.setCurrentProgram(currentProgram);

		// weirdness caused by separate local variables for address and location
		// if they diverge, give precedence to the address by calling setLocation first
		state.setCurrentLocation(currentLocation);
		state.setCurrentAddress(currentAddress);
		state.setCurrentAddress(currentAddress);
		state.setCurrentHighlight(currentHighlight);
		state.setCurrentSelection(currentSelection);
	}
Explicitly set the .properties file (used if a ResourceFile representing the
GhidraScript is not available -- i.e., if running GhidraScript from a .class file
or instantiating the actual GhidraScript object directly).

@param propertiesFile  the actual .properties file for this GhidraScript
@throws IOException if there is an exception reading the properties
Ghidra/Features/Base/src/main/java/ghidra/app/script/GhidraScript.java