void setPrefix(String prefix) {
			this.prefix = prefix;
		}
A task monitor that allows us to control the message content and the progress
Ghidra/Features/Base/src/main/java/ghidra/plugins/importer/batch/BatchInfo.java