Adjusting evaluator's config file w.r.t. updated benchmark's code.

Author: marek-trtik

benchmarks/TRAINING/diffblue/taint_traces_07_evaluator.json

@@ -24,19 +24,7 @@
                         "file": "training07/test.java", 
                         "function": "java::training07.test.doGet:(Ltraining07/HttpServletRequest;Ltraining07/HttpServletResponse;)V", 
                         "goto_binary_file": "program_slicing/instrumented_goto_program_0.gbf", 
-                        "line": 123
-                    },
-                    {
-                        "error_traces": {
-                            "cbmc": [
-                                "search_for_error_traces/error_trace_0.json"
-                            ], 
-                            "symex": []
-                        }, 
-                        "file": "training07/test.java", 
-                        "function": "java::training07.test.doGet:(Ltraining07/HttpServletRequest;Ltraining07/HttpServletResponse;)V", 
-                        "goto_binary_file": "program_slicing/instrumented_goto_program_0.gbf", 
-                        "line": 124
+                        "line": 109
                     }
                 ]
         }