Minecraft wiki entry for Man-made_lake, associated text: First, you can actually fill the hole you made with springs. This will take some time depending of the size of your lake but it will be far easier to swim. I added a sub section with more info to do that in a faster way. See "Pure Lake".