dafny: revision bump (openjdk@11)

[carlocab]

• Have you followed the guidelines for contributing?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing brew install <formula>)?

---

The dependency was switched in #72535, but we forgot to bump the revision then.

[BrewTestBot]

@carlocab has triggered a merge.