Eclipse Plugins to automate parts of the development process

(from redmine: created on 2019-09-26)