public void refreshTable() {
		extensions = null;
		reload();
	}
Gets a new set of extensions and reloads the table.
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/extensions/ExtensionTableModel.java