@Override
	public void setBorder(Border border) {
		// To keep UI from installing a non-appropriate border (such as when switching themes),
		// only allow borders created by this class to be set.
		if (border == RAISED_BUTTON_BORDER || border == LOWERED_BUTTON_BORDER ||
			border == FOCUSED_BUTTON_BORDER || border == NO_BUTTON_BORDER) {
			super.setBorder(border);
		}
	}
Construct a new EmptyBorderButton that has text and an icon.
@param text button text
@param icon icon for the button
Ghidra/Framework/Docking/src/main/java/docking/widgets/EmptyBorderButton.java