The Eclipse plugin for BPMN editing