Plugin for Eclipse, providing some Tool support for JCypher