Okay, wasn't exactly sure where to put this, as it has nothing to do with the server, yet is part of minecraft. I am looking for hte 1.4.7 minecraf_server.jar. Is there any way I can get it from minecraft.net? It seems that they only offer the latest version and I shall need 1.4.7 for a survival map I wish to do. Anyone have any ideas?