public ScriptAttributes parseFile(File script) throws FileNotFoundException {
		try {
			return parseStream(new FileInputStream(script), script.getName());
		}
		catch (FileNotFoundException e) {
			// Avoid capture by IOException
			throw e;
		}
		catch (IOException e) {
			throw new AssertionError(e);
		}
	}
Parse the header of the given script file

@param script the file
@return the parsed attributes
@throws FileNotFoundException if the script file could not be found
Ghidra/Debug/Debugger-rmi-trace/src/main/java/ghidra/app/plugin/core/debug/gui/tracermi/launcher/ScriptAttributesParser.java