JKind API support for Kind 2 (local and remote)