@Override
	public void refresh() {
		// this class is used by the TableServicePlugin, which calls refresh on a ProgramChangeEvent
		// we want to check for new SourceMapEntries on such events, so we reload first
		reload();
		super.refresh();
	}
Constructor.
@param serviceProvider service provider
@param program program
@param monitor task monitor
@param sourceFile source file
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/sourcefilestable/SourceMapEntryTableModel.java