public interface UIClientPropertyKey
All such keys are removed from client properties in
JComponent.setUI() method after uninstalling old UI and before
installing the new one. They are also removed prior to serialization.
Scripting on this page tracks web page traffic, but does not change the content in any way.