Changed Cn11 validation to warning.

This makes it possible to define asynchronous connections between state
machines, although the semantics for this is not currently implemented.
See the relevant issues:

* robochart-csp-gen:
UoY-RoboStar/robochart-csp-gen#39
* robochart-textual:
#61

circus.robocalc.robochart.textual/src/circus/robocalc/robochart/textual/formatting2/RoboChartFormatter.xtend

@@ -72,25 +72,25 @@ class RoboChartFormatter extends AbstractFormatter2 {
 		context.regionFor.feature(RoboChartPackage.eINSTANCE.namedElement_Name).surround[oneSpace]
 		interior(
 			context.regionFor.keyword('{').append[newLine],
-			context.regionFor.keyword('}').append[newLines = 2],
+			context.regionFor.keyword('}').append[newLines = 1],
 			[indent]
 		)
 		for (_child : context.eContents) {
 			format(_child, document)
-			_child.append[setNewLines(1, 1, 2)]
+			_child.append[setNewLines(1, 1, 1)]
 		}
 	}
 
 	def dispatch void format(RCModule module, extension IFormattableDocument document) {
 		module.regionFor.feature(RoboChartPackage.eINSTANCE.namedElement_Name).surround[oneSpace]
 		interior(
 			module.regionFor.keyword('{').append[newLine],
-			module.regionFor.keyword('}').append[newLines = 2],
+			module.regionFor.keyword('}').append[newLines = 1],
 			[indent]
 		)
 		for (_child : module.eContents) {
 			format(_child, document)
-			_child.append[setNewLines(1, 1, 2)]
+			_child.append[setNewLines(1, 1, 1)]
 		}
 	}
 
@@ -104,7 +104,7 @@ class RoboChartFormatter extends AbstractFormatter2 {
 		)
 		for (_child : state.eContents) {
 			format(_child, document)
-			_child.append[setNewLines(1, 1, 2)]
+			_child.append[setNewLines(1, 1, 1)]
 		}
 	}
 
@@ -119,7 +119,7 @@ class RoboChartFormatter extends AbstractFormatter2 {
 		transition.regionFor.feature(RoboChartPackage.eINSTANCE.transition_Target).append[newLine]
 		for (_child : transition.eContents) {
 			format(_child, document)
-			_child.append[setNewLines(1, 1, 2)]
+			_child.append[setNewLines(1, 1, 1)]
 		}
 	}