Updated AGREE to use latest jkind-api