as far as I can see it, this code sets the sound at "Server side", this is: the server who pushes the notification also selects the tone and this is not what I want.
I wonder if it is possible to have the user selecting the notification tone on his phone as it is possible with eg. ringtone, incoming sms, email etc.?