Add new property to HotSpot