diff --git a/config/xml_schemas/env_mach_specific.xsd b/config/xml_schemas/env_mach_specific.xsd
index cb2590b1a0c..9364e60b7f8 100644
--- a/config/xml_schemas/env_mach_specific.xsd
+++ b/config/xml_schemas/env_mach_specific.xsd
@@ -8,6 +8,8 @@
+
+
@@ -75,6 +77,7 @@
+
@@ -87,13 +90,23 @@
+
-
+
+
+
+
+
+
+
+
+
+