Updated javadocs, in particular for DatabaseConnection