Miners4k Map

Okay I was looking into the game Miners4k what Notch created for a contest,
I would like to know how he made his map with collision as I have only done tile map rendering with collision,
I have looked around but I couldn’t find a word to describe his map. Could anyone lead me in the right direction?