Eclipse Formal Modeling Xtext's based Editor