[thomasmg]

I asked ChatGPT to translate (the free version), pasting the source code. The resulting Java code came back a second later.