Update beanshell to 2.0b6

[unp1]

No description provided.

[codecov]

Codecov Report

Merging #3294 (eb8b97d) into main (bf8cca5) will decrease coverage by 0.03%.
The diff coverage is n/a.

❗ Current head eb8b97d differs from pull request most recent head 7f389a1. Consider uploading reports for the commit 7f389a1 to get more accurate results

@@             Coverage Diff              @@
##               main    #3294      +/-   ##
============================================
- Coverage     37.78%   37.75%   -0.03%     
- Complexity    16851    16864      +13     
============================================
  Files          2052     2052              
  Lines        125409   125697     +288     
  Branches      21220    21236      +16     
============================================
+ Hits          47386    47462      +76     
- Misses        72187    72398     +211     
- Partials       5836     5837       +1     

see 76 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[github-actions]

Thank you for your contribution.

The test artifacts are available on Artiweb.
The newest artifact is here.

[Drodt]

I just got an error just now while running some more tests on this branch:

The tests testModelFieldTest_doubleX() and testModelFieldTest_f() in de.uka.ilkd.key.proof_references.testcase.analyst > TestClassAxiomAndInvariantProofReferencesAnalyst fail. Both, essentially, due to the same error:

AssertionFailedError: expected: <equals(test.ModelFieldTest::$f(heap,self),javaMulInt(Z(2(#)),int::select(heap,self,test.ModelFieldTest::$x)))> but was: <equals(test.ModelFieldTest::$f(heap,self),mul(Z(2(#)),int::select(heap,self,test.ModelFieldTest::$x)))>

The other result looks similar.

I suspect that this is not actually due to this PR. Thoughts, @unp1 ?