DEVS. Ported from eclipse version