Fixes JavaMusicPlayer crashes when there are no themes specified
Fixes JavaMusicPlayer crashes when there are no themes specified

could occur when shutting down/pausing/resuming threads in normal game
mode.

simplay/bofrev,TheTypoMaster/bofrev,panmari/bofrev