OpenUI5 version: 1.71.1

Release date: Oct. 19, 2019