Minecraft wiki entry for Diamonds, associated text: If a player does see diamond-ore blobs exposed near a lava pool, use a water bucket to convert the surface of the pool into obsidian or cobblestone, then leave the area flooded while mining. That way, if there's more lava under the diamond ore, the water can quench it before the lava can destroy the newly mined diamond(s).