machine menu sorted

dream/simulation/Examples/GUI_instances/DefaultAllInOneEmpty.json

@@ -285,23 +285,22 @@
               "required": true, 
               "type": "string"
             }, 
-            "interruption": {
-              "properties": {
-                "failure": {
-                  "$ref": "#/definitions/_failureDist", 
+            "name": {
+              "default": "Machine", 
+              "type": "string"
+            }, 
+            "processingTime": {
+              "$ref": "#/definitions/_dist", 
               "required": true
-                }
             }, 
-              "type": "object"
+            "setupTime": {
+              "$ref": "#/definitions/_dist", 
+              "required": true
             },
             "loadTime": {
               "$ref": "#/definitions/_dist", 
               "required": true
             }, 	
-            "name": {
-              "default": "Machine", 
-              "type": "string"
-            }, 
             "operationType": {
               "properties": {
                 "load": {
@@ -327,13 +326,14 @@
               ], 
               "type": "object"
             },			
-            "processingTime": {
-              "$ref": "#/definitions/_dist", 
+            "interruption": {
+              "properties": {
+                "failure": {
+                  "$ref": "#/definitions/_failureDist", 
                   "required": true
+                }
               }, 
-            "setupTime": {
-              "$ref": "#/definitions/_dist", 
-              "required": true
+              "type": "object"
             } 
           }, 
           "type": "object"