@Override
	public void tableChanged(TableModelEvent e) {
		super.tableChanged(e);
		if (getTableHeader() != null) {
			getTableHeader().repaint(); // needed for settings changes which affect header labels
		}
	}
Constructs a new GTable using the specified table model.
@param dm the table model
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/GTable.java