private void programmerAutosaveButton(java.awt.event.ActionEvent evt)
    {
        try 
            {
                 List<String> userInput = Arrays.asList(programmerText.getText().split("\n"));
                 PrintWriter out;
                 DateFormat dateFormat = new SimpleDateFormat("dd_MMM_HH_mm_ss");
                 Date date = new Date();

                 String fileName1;
                 fileName1 = "KarelCode_";
                 fileName1 += dateFormat.format(date);
                 fileName1 += ".txt";


                 out = new PrintWriter(fileName1);

                 for(int loop = 0; loop < userInput.size(); loop++)
                 {
                    out.println(userInput.get(loop));                                
                 }

                 out.close();
            } catch (FileNotFoundException ex) {
                Logger.getLogger(World.class.getName()).log(Level.SEVERE, null, ex);
            } 
    }