Moved from Vector to ArrayList in DBJournal.load()