PROBCORE-3 Changed the Java side to match the changes made to the prolog kernel