private void Pause(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_Pause
        Object source = evt.getSource();
        JButton switcher;
        switcher = (JButton) source;
        if (switcher.getText().equals("Pause"))
        {
            programmerThread.suspend();
            switcher.setText("Resume");
            try {
             Image img = ImageIO.read(getClass().getResource("/karel/guipics/play.png"));
             switcher.setIcon(new ImageIcon(img));
            } catch (IOException ex) {}
        }
        else if (switcher.getText().equals("Resume"))
        {
            programmerThread.resume();
            switcher.setText("Pause");
            try {
             Image img = ImageIO.read(getClass().getResource("/karel/guipics/pause.png"));
             switcher.setIcon(new ImageIcon(img));
            } catch (IOException ex) {}
        }
    }//GEN-LAST:event_Pause