Update JSONs to define TTF and TTR properly

dream/simulation/Examples/BatchAllInOneEmpty.json

@@ -918,10 +918,12 @@
         }, 
         "_failure": {
           "properties": {
-            "Time to Failure": {
+            "TTF": {
+              "name": "Time to Failure",
               "$ref": "#/definitions/_dist"
             }, 
-            "Time to Repair": {
+            "TTR": {
+              "name": "Time to Repair",
               "$ref": "#/definitions/_dist"
             }, 
             "repairman": {
@@ -1177,4 +1179,4 @@
   "result": {
     "result_list": []
   }
-}
\ No newline at end of file
+}

dream/simulation/Examples/BatchModel.json

@@ -873,10 +873,12 @@
         },
         "_failure": {
           "properties": {
-            "Time to Failure": {
+            "TTF": {
+              "name": "Time to Failure",
               "$ref": "#/definitions/_dist"
             },
-            "Time to Repair": {
+            "TTR": {
+              "name": "Time to Repair",
               "$ref": "#/definitions/_dist"
             },
             "repairman": {

dream/simulation/Examples/CapacityProjectAllInOneEmpty.json

@@ -171,10 +171,12 @@
                     "title": "Yes",
                     "description": "Fixed",
                     "properties": {
-                        "Time to Failure": {
+                        "TTF": {
+                            "name": "Time to Failure",
                             "$ref": "#/definitions/_dist"
                         },
-                        "Time to Repair": {
+                        "TTR": {
+                            "name": "Time to Repair",
                             "$ref": "#/definitions/_dist"
                         },
                         "repairman": {

dream/simulation/Examples/DefaultAllInOneEmptyNoOperators.json

@@ -696,10 +696,12 @@
                 "_failure": {
                     "description": "Fixed",
                     "properties": {
-                        "Time to Failure": {
+                        "TTF": {
+                            "name": "Time to Failure",
                             "$ref": "#/definitions/_dist"
                         },
-                        "Time to Repair": {
+                        "TTR": {
+                            "name": "Time to Repair",
                             "$ref": "#/definitions/_dist"
                         },
                         "repairman": {

dream/simulation/Examples/JobShopAllInOneEmpty.json

@@ -46,10 +46,12 @@
 				},
 				"_failure": {
 					"properties": {
-						"Time to Failure": {
+						"TTF": {
+                                                        "name": "Time to Failure",
 							"$ref": "#/definitions/_dist"
 						},
-						"Time to Repair": {
+						"TTR": {
+                                                        "name": "Time to Repair",
 							"$ref": "#/definitions/_dist"
 						},
 						"repairman": {

dream/simulation/Examples/PartJobShopAllInOneEmpty.json

@@ -46,10 +46,12 @@
         },
         "_failure": {
           "properties": {
-            "Time to Failure": {
+            "TTF": {
+              "name": "Time to Failure",
               "$ref": "#/definitions/_dist"
             },
-            "Time to Repair": {
+            "TTR": {
+              "name": "Time to Repair",
               "$ref": "#/definitions/_dist"
             },
             "repairman": {