public static Collection<? extends Option> getDefaultOptions(DumpFileReader reader) {
		// Use DumpFile default options
		return DumpFile.getDefaultOptions(reader);
	}
Get default <code>Minidump</code> loader options.
See {@link DumpFile#getDefaultOptions(DumpFileReader)}.
@param reader dump file reader
@return default collection of Minidump loader options
Ghidra/Features/FileFormats/src/main/java/ghidra/file/formats/dump/mdmp/Minidump.java