Fix format in database.java