changes to jkind api for realizability checking
updated jkind-api.jar