/** Pauses the music file. */
public void Pause() {
if (player != null && !player.getSourceLocation().equals(null)
|| !player.getSourceLocation().equals("")) {
player.pause();
}
}
/**
* Requests pause and wait until playback pauses.
*
* @throws InterruptedException
*/
public void pauseSync() throws InterruptedException {
pause();
waitForState(PlayerState.PAUSED);
}
