@Override
	public void installValue(ThemeManager themeManager) {
		// We do not currently support changing these values from the UI or API.  Assuming that,
		// then this method is probably not needed for properties
		throw new UnsupportedOperationException();
	}
A base class that represents a Java UIManager property.  This value is used to allow for
overriding Java UI values using the theme properties files.
Ghidra/Framework/Gui/src/main/java/generic/theme/JavaPropertyValue.java