Minecraft wiki entry for Diamonds, associated text: Players can use a bucket to store lava or from nearby lava pools for some good smelting, but if the bucket contains water, remember to store the water in a hole before starting the smelt. Water Buckets are also good for mining a lava pool.