From #7921: stubgen should split `@abstractproperty` into `@property @abstractmethod`, since the former has been deprecated since Python 3.3.
