android: pause any other media players

The answer is in the VideoView.java src.

Intent i = new Intent("com.android.music.musicservicecommand");
i.putExtra("command", "pause");
context.sendBroadcast(i);

On the other hand, if you are developing music/video player of your own, 

you may want to register a broadcast receiver for it as well.