Problem making request to javaParser and openJML
Hi @imansanet!
When we try to make a POST request to javaParser and openJML we get a 500 Internal Server Error.
Both request return and HTML response with some kind of log with the error. You can find the content of those responses on the files below.