removed wrong check (closes #51)
removed warning and adjusted indenation
removed warning
made output more readable
added some obvious preconditions
Merge branch 'master' of github.com:LibertyEiffel/Liberty
cosmetics
Merge branch 'master' of github.com:cadrian/Liberty

Conflicts:
	install.sh