Minecraft wiki entry for Lava_lake, associated text: In Java Edition, the air pockets above lakes are generated with cave air instead of normal air. This is true even for lakes that are exposed to the open sky.