public void playSound(String name) {
		// specify the sound to play
		// (assuming the sound can be played by the audio system)
		Clip clip = null;
		AudioInputStream sound = null;
		try {
			if (window.clips.containsKey(name)) {
				clip = window.clips.get(name);
				sound = window.sounds.get(name);
			} else {
				final File soundFile = new File(window.getClass()
						.getResource(name).getFile());
				sound = AudioSystem.getAudioInputStream(soundFile);
				// load the sound into memory (a Clip)
				final DataLine.Info info = new DataLine.Info(Clip.class,
						sound.getFormat());
				clip = (Clip) AudioSystem.getLine(info);
				window.clips.put(name, clip);
				window.sounds.put(name, sound);
			}
			clip.open(sound);
		} catch (final Exception e) {
			throw new RuntimeException("Could not read sound");
		}
		// play the sound clip
		clip.start();
	}