protected boolean promptToKeepChangesOnException() {

		String message = "<html>Encountered exception running script \"" +
			HTMLUtilities.escapeHTML(sourceFile.getName()) +
			"\".<br><br>Keep the changes to the program?";
		//@formatter:off
			int choice =
					OptionDialog.showOptionNoCancelDialog(
					null,
					"Keep Changes?",
					message,
					"<html>No (<font color=\""+Palette.RED+"\">discard</font> changes)",
					"<html>Yes (<font color=\""+Palette.GREEN+"\">keep</font> changes)",
					OptionDialog.QUESTION_MESSAGE);
		//@formatter:on

		if (choice == OptionDialog.OPTION_TWO) { // Yes
			return true;
		}
		return false;
	}
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