Eclipse Texo Plugin with petrinet ecore