OpenUI5 version: 1.71.5

Release date: Dec. 4, 2019