Java software development kit support for Windows

Hello CircleCI community:

It appears that there is not support built in to CircleCI for installing a JDK on Windows via an orb or otherwise in the CircleCI-ecosystem. Is this correct?

If so, what approach does the community suggest for supporting a CI pipeline on Windows on CircleCI? I’m looking for the traditional compile and run tests via Maven.

My gut says to download and install binaries via a script that is executed by CircleCI. I can put a JDK and Maven binaries on, say, an AWS share.