changes to reporting results correctly
updated jkind-api.jar