verify: command freezes if no Java SDK is found

[cason]

I think the spec in case is not relevant here, but I can provide its location if needed.

$ quint verify part_stream.qnt                                                                                                                                                       [cason/341-streaming-quint] 
The operation couldn’t be completed. Unable to locate a Java Runtime.
Please visit http://www.java.com for information on installing Java.

From this point, CTRL + C does not work and there is no way to leave the program. Actually, CTRL + Z does work but something is left running there, and I am not sure what it is, since $ killall quint says there is no quint running.

Fortunately, I found out in this page how to download a Java SDK , and after installing it the command worked as expected. It would be helpful, though, that the "error" message above pointed out directly to this information.

The priority here is of course low, but opening this issue just in case.

Using version 0.21.1 on Mac OS M2, Sonoma 14.6.1.