ProB 2.0 Eclipse / Rodin Plug-in