I tried this How do I change which Java version AMP uses?, but I don’t see it listed as a option in search.
If this wasn’t docker based I would know how to switch it on host.
It is in Instance/Configuration/Minecraft/Java and Memory/Java Version rather than being a instance independent setting.