ProB Module. Using Kernel Jar. ProB reference to be added to README