HTTPS SSH
To be built using Eclipse PDE tools.
Need to set up a target platform that contains the ProB and Rodin bundles.