protected final void loadVariablesFromState() {
		this.currentProgram = state.getCurrentProgram();
		this.currentAddress = state.getCurrentAddress();
		this.currentLocation = state.getCurrentLocation();
		this.currentSelection = state.getCurrentSelection();
		this.currentHighlight = state.getCurrentHighlight();
	}
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