Problème d'ouverture de fichier

Bonjour a tous,

J'ai télécharger la version 1.3.1 de minecraft, mais malheureusement les serveur mutijoueur ne sont pas encore a jour -_-
Donc je souhaiterai revenir en 1.2.5
J'ai utiliser le logiciel pipix mais celui-ci se ferme et mon mac me dit que pipix a quitter d'une manière imprévu.
je le désinstalle et le réinstalle mais cette fois ci, le dossier de version et de mod sont vide.
On ma donc conseiller craftback. Je le telecharge et je l'ouvre mais mon mac me l'ouvre avec text édit (ce que je ne souhaite pas qu'il fasse -_- ).

Donc je souhaiterai que vous m'aidiez a trouver un logiciel d'ouverture ou quelque chose d'autre

Merci d'avance.