Minecraft wiki entry for Diamonds, associated text: First, if the player has located the diamond ore by caving, then the player should light up or block off any nearby dark areas to avoid getting blown up or shot while attempting to mine. Flood any lava nearby, turning it into obsidian (then go back and light up any areas which are now dark).