void setHeader(String text) {
		if (text != null && text.length() != 0) {
			headerLabel.setText(ConflictUtility.wrapAsHTML(text));
			add(headerLabel, BorderLayout.NORTH);
		}
		else {
			headerLabel.setText("");
			remove(headerLabel);
		}
		validate();
		invalidate();
	}
This sets the header text that appears above the table.
@param text the text
Ghidra/Features/Base/src/main/java/ghidra/app/merge/listing/VariousChoicesPanel.java