Various Eclipse plugins including in support of Plasma code generation, reverse-engineering and other core functionality