File:Lava JE2.gif

Summary
These textures are generated by hard coding. The algorithm is probably taken from Perin noise.