Make all methods show in java API

[BramVerb]

Some methods did not show up in the java documentation, for example the mkUnaryMinus and mkDiv, making the methods final made them show up for me in the documentation.

I do not know if this was intentional, but I do think that these methods should show up in the documentation, as they are also available in the Java API

[NikolajBjorner]

https://z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_context.html#a4313e0284a1f0f5c31847fd7c3d14a0d

[NikolajBjorner]

mkPower doesn't show up.
Perhaps all the ones with public <... are not understood by doxygen.

[BramVerb]

There are way more methods that do not show up, and indeed, they all seem to include the generics syntax with <>.

[NikolajBjorner]

either update them all because "final" has some semantic merit or if Doxygen has an approach use it

[NikolajBjorner]

Bing chat gives a summary:
According to some web sources12, Doxygen may have some issues with documenting Java generic methods. One possible workaround is to use static modifiers for your generic methods1, as this seems to make Doxygen accept arbitrary strings as return type modifiers. Another possible workaround is to use a different version of Doxygen that may have fixed this bug3.

I hope this helps. Do you want me to show you how to use static modifiers for your generic methods or how to install a different version of Doxygen?

[BramVerb]

@microsoft-github-policy-service agree

[BramVerb]

I did a search and replace for all generic methods, so it works now for the Context.java class.
I don't think this is the nicest solution, but I hope this PR for doxygen will be merged at some point to resolve the issue.