It cannot assume which media player I want to use, so the best course of action is to do nothing.
It's very reasonable that pressing "play" opens the default music player. They should let you choose.
The best course of action would be to let the user specify their default music app to bind the keys to.
It's very reasonable that pressing "play" opens the default music player. They should let you choose.