Disconnected Setup with SMT results in "java.io.FileNotFoundException: /path/to/product_tree.json"