Merge origin/master

Conflicts:
	src/cryptohelper/data/SessioneLavoro.java
Merge origin/master