return super.setProperty(key, newValue); }
return put(key, newValue); }
    public Object setProperty(String key, String newValue) {      //        System.out.println("Setting property: " + key);      //        fireChange(); // change is fired in put if necessary        return super.setProperty(key, newValue);    }