949596979899100101102103104
* */ static private void playMp3() { try { musicType = "mp3"; mp3 = new MP3Player(ResourceLoader.getResource(musicfile)); mp3.setRepeat(true); mp3.play(); } catch (Exception e) { System.out.println("Can not play \"" + musicfile + "\".");