New options for JKind 2