public void Restart() {
if (player != null && !player.getSourceLocation().equals(null)
|| !player.getSourceLocation().equals("")) {
player.stop();
player.play();
}
}
/** Pauses the music file. */
public void Pause() {
if (player != null && !player.getSourceLocation().equals(null)
|| !player.getSourceLocation().equals("")) {
player.pause();
}
}