public UIDefaultsTableModel() {
// make a local copy of the defaults table in case the look and feel changes
defaults = new UIDefaults();
keys = new ArrayList<Object>();
UIDefaults realDefaults = UIManager.getDefaults();
Enumeration keysEnum = realDefaults.keys();
while (keysEnum.hasMoreElements()) {
Object key = keysEnum.nextElement();
if (!defaults.containsKey(key)) {
keys.add(key);
defaults.put(key, realDefaults.get(key));