java:static

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

リフレクションで静的メソッドを呼び出します。引数に最も適合するパラメータを持つオーバーロードを選び、マーシャリングされた結果を返します。JVM 専用の java 連携パッケージの一部であり、インタプリタと JVM クラスへのコンパイルの両方で利用できます (WASM バックエンドでは利用できません)。Java 連携ガイドを参照してください。

Math.max は int/long/float/double にオーバーロードされていますが、整数引数が int オーバーロードを選ぶため、結果は整数 7 になります。