OpenJML analyzer randomly fails with HTTP error 500
When launched on a large bunch of java files ("select all" on a java project with about 800 files), some failures occur with 500 HTTP errors.
As an example:
The failure seems to occur randomly: on OW2 sat4j project (sat4j_ow2), I got 98 failures out of 791 files.