MPS-20461 [Mac Os] Restart MPS doesn't work
update util.jar (Restarter fix in platform)
MPS-20447 3.1.3 -> 3.1.4
Merge branch 'MPS3.1'
for nonconflict following merges - do not need restart patch (will update platform) and update version