OpenUI5 version: 1.71.16

Release date: May 4, 2020