Fix renaming of MinisatJava