archive.org ps3 source / 4chan thread (leak origin) / archive.org console source
Something interesting I've spotted is that there is a seperate build option for Windows visible, meaning 4J was likely planning a PC port at some point in time.
This is also likely interesting because console SDKs are usually highly restricted. So not only is the Minecraft code leaked (which is probably moderately interesting) it is likely that the console APIs are quite interesting to emulator developers and reverse engineering for other PS3 games.