cbmc: remove Java-11 version fix from formula.
cbmc: remove Java-11 version fix from formula.

Previously we had an issue with some upstream changes to openJDK17
creating build problems for a library a part of CBMC depends on.
These are now fixed upstream, and `cbmc` (and by extension, `jbmc`)
can build with `openJDK` 17.

Closes #85720.

Signed-off-by: Carlo Cabrera <3ffc397d0e4bded29cb84b56167de54c01e3a55b@users.noreply.github.com>
Signed-off-by: BrewTestBot <8a898ee6867e4f2028e63d2a6319b2224641c06c@users.noreply.github.com>

uyjulian/homebrew-core,sjackman/homebrew-core,filcab/homebrew-core,nbari/homebrew-core,cblecker/homebrew-core,cblecker/homebrew-core,mfikes/homebrew-core,mfikes/homebrew-core,sjackman/homebrew-core,Moisan/homebrew-core,nbari/homebrew-core,makigumo/homebrew-core,adam-moss/homebrew-core,Homebrew/homebrew-core,chrisfinazzo/homebrew-core,filcab/homebrew-core,lemzwerg/homebrew-core,zyedidia/homebrew-core,makigumo/homebrew-core,zyedidia/homebrew-core,adam-moss/homebrew-core,nandub/homebrew-core,lemzwerg/homebrew-core,Homebrew/homebrew-core,uyjulian/homebrew-core,nandub/homebrew-core,stgraber/homebrew-core,Moisan/homebrew-core,stgraber/homebrew-core,chrisfinazzo/homebrew-core