Revert "Merge origin/master"

This reverts commit 46f971490c379b8e5ebd8e4643fd50dd7a9901f0.
Merge origin/master

Conflicts:
	src/cryptohelper/data/Ipotesi.java