Minor changes for minecraft 1.7.5

basically just version and sha needed.

already ran this on my server, and it upgraded and restarted the server just fine