bugfix in "Property.setPropertyType" for superclass