private void write(String user, String event, int glID, String resName,
                      String status, double clock)
    {
        if (trace_flag == false) {
            return;
        }

        // Write into a results file
        FileWriter fwriter = null;
        try
        {
            fwriter = new FileWriter(super.get_name(), true);
        } catch (Exception ex)
        {
            ex.printStackTrace();
            System.out.println(
                    "Unwanted errors while opening file " + super.get_name());
        }

        try
        {
            fwriter.write(user + "\t " + event + "\t" + glID + "\t" +
                          resName + "\t" + status + "\t\t" + clock + "\t" + "\n");
        } catch (Exception ex)
        {
            ex.printStackTrace();
            System.out.println(
                    "Unwanted errors while writing on file " + super.get_name());
        }


        try
        {
            fwriter.close();
        } catch (Exception ex)
        {
            ex.printStackTrace();
            System.out.println(
                    "Unwanted errors while closing file " + super.get_name());
        }

    }