begin session
Merge branch 'master' of https://github.com/utwente-di/di08

Conflicts:
	webApp/src/main/java/nl/utwente/di/di08/database/DBMv2.java
Merge branch 'master' of https://github.com/utwente-di/di08