final public String getDefaultFileExtension() {
		return extension;
	}
Returns the default extension for this exporter.
For example, .html for .xml.
@return the default extension for this exporter
Ghidra/Features/Base/src/main/java/ghidra/app/util/exporter/Exporter.java