jkind-api.jar added
Node class changes / jkind-api.jar changes