java:static

(java:static "fully.qualified.ClassName" "methodName" args...)

Invokes a static method by reflection, choosing the overload whose parameters best match the arguments, and returns the marshalled result. Part of the JVM-only java interop package — available on the interpreter and in JVM-compiled classes, not on the WASM backend. See the Java interop guide.

Math.max is overloaded for int/long/float/double; the integer arguments select the int overload, so the result is the integer 7.