Commit to merge
Merge branch 'master' of https://github.com/andreabar/SDElaborato

Conflicts:
	src/view/controllers/ResultViewController.java
Merge branch 'master' of https://github.com/andreabar/SDElaborato
Vaadin XML metadata