public synchronized void playLoop(String file) {
		if (Bootstrap.MUTE) {
			game.log.jukebox("Game is muted, no sound played");
		} else {
			String type = null;
			if (file.endsWith(".wav")) type = "wav";
			else if (file.endsWith(".ogg")) type = "ogg";
			if (type == "ogg") {
				try {
					OggClip ogg = new OggClip("jukebox/" + file);
					ogg.loop();
					oggs.add(ogg);
					game.log.jukebox("playing '" + "/jukebox/" + file + "'");
				} catch (Exception e) {
					game.log.jukebox("[ERROR] " + e);
				}
			} else if (type == "wav") {
				try {
					Clip clip = AudioSystem.getClip();
					AudioInputStream inputStream = AudioSystem.getAudioInputStream(getClass().getClassLoader().getResourceAsStream("jukebox/" + file));
					clip.open(inputStream);
					clip.loop(-1);
					game.log.jukebox("playing '" + "/jukebox/" + file + "'");
					clips.add(clip);
				} catch (Exception e) {
					game.log.jukebox("[ERROR] " + e);
				}
			} else {
				game.log.jukebox("unknown file type '" + type + "'");
			}
		}
	}