small changes

examples/example18.txt

@@ -14,6 +14,7 @@ class Exe {
 	//The #declass tag implements declassification mechanism.
 	//Below a variable y of tier 0 is declassified to tier 1
 	//Hence it can be used in a while loop again.
+
         #declass
             y;
             x;