edited Database.java
Merge branch 'master' of https://github.com/utwente-di/di20
Merge branch 'master' of https://github.com/utwente-di/di20
editSelf
Merge branch 'master' of https://github.com/utwente-di/di20
Added Availability.java & Edited Database.java
Added Availability.java & Edited Database.java