cf. https://github.com/StarExec/StarExec/issues/271#issuecomment-650775167 . Perhaps: > the "Set-Cookie" header, and therefore the new JSESSIONID, > are now found in the response to the client's post request of their login credentials.