Merge origin/master

Conflicts:
	softra/src/softra/Softra.java