public void playVictoryMusic()
        {
            try 
            {
                    AudioInputStream audio = AudioSystem.getAudioInputStream(new File("src/karel/sounds/victory.wav"));
                    Clip clip = AudioSystem.getClip();
                    clip.open(audio);
                    clip.start();
            }
            
            catch(Exception e) {};
        }