Una idea para los fabricantes de parches:

Me he dado cuenta de que no puedo renombrar los .jar en el administrador de archivos. Sera que es dificil de hacer o imposible?

(Aunque bien podria entrar al minicommander o al mobyexplorer y renombrarlos desde allí.)