Plugin for Eclipse, providung some Tool support for JCypher