OpenUI5 version: 1.71.7

Release date: Dec. 16, 2019