DevWorkspace and deobfuscated version of Minecraft source done.