each of these is verified: the current sha1 and the new sha256 are both correct for the given download.
MCEdit is a Java-based tool for editor world maps used in the popular, Java-based indie game Minecraft.