Make eclipse happy
Merge branch 'master' of github.com:credentials/irma_android_verifier

Conflicts:
	res/layout-sw600dp/main.xml
	src/org/irmacard/androidverifier/AnonCredCheckActivity.java