MAIL DEP
adad
Merge branch 'master' of https://github.com:443/mehduz/JavaBDD

Conflicts:
	JavaBDD/.classpath
Merge branch 'master' of https://github.com:443/mehduz/JavaBDD

Conflicts:
	JavaBDD/.classpath