test:
	../../Binaires/SMVtoJAVA < onlymain.smv
	diff MAIN.java MAIN_sav.java

save:
	cp MAIN.java MAIN_sav.java

compile:
	javac -classpath ./Java/needed.jar:. *.java