documented Database.java