adding updated java-ranger

I am not sure what CoVeriTeam is, and neither how to check that the tool runs with it. I have checked that the tool runs with benchexec though, and things work fine. I am making this merge request so we do not miss the submission deadline, but I am willing to make necessary changes to comply with sv-comp verifiers repository requirements.

Once you created the merge request, please check the items below and check-mark them.

• Tool runs with CoVeriTeam and delivers expected results (see FAQ)
• Tool's issue in this repository is labeled with StatusWorks with CoVeriTeam
• MR is approved or created by code owner
• Branch to be merged is in this repository (such that we can see the CI results, and you will not run into space issues)