public void setExtensions(Set<ExtensionDetails> extensions) {
		tableModel.setModelData(new ArrayList<>(extensions));
	}
Replaces the contents of the table with the given list of extensions.

@param extensions the new model data
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/extensions/ExtensionTablePanel.java