Put variant on same line as keyword when pretty-printing

org.eventb.texttools/src/org/eventb/texttools/prettyprint/MachinePrintSwitch.java

@@ -251,7 +251,7 @@ public class MachinePrintSwitch extends MachineSwitch<Boolean> implements
 				printer.appendLineBreak();
 			}
 
-			printer.appendWithLineBreak(VARIANT);
+			printer.appendWithSpace(VARIANT);
 			printer.increaseIndentLevel();
 
 			for (final Variant variant : variants) {