Стинг изплати над 800 000 долара (595 000 британски паунда) обезщетение на бившите си колеги от група "Полис", сочат съдебни протоколи от Върховния съд в Лондон.