680681682683684685686687
{ if (!Configuration.getConfiguration().isPlayTitleMusic()) return; if (player != null) player.deinit(); player = null; player = new PlayMP3(Configuration.getConfiguration().getTitleMusic()); player.play(); }