Package ac.soton.eventb.statemachinesJ.generator.rules renamed to ac.soton.eventb.statemachinesJ.generator.varRules