Nitrite/Java: Defect? File size is even bigger after record is removed

[hairinwind]

I found the file size was even bigger after the record was removed. Is it a defect?

Here is my test project.
https://github.com/hairinwind/mynitrite/blob/main/src/main/java/my/nitrite/App.java

How to make the file shrink right after records are removed.

[anidotnet]

This is a characteristic of the underlying storage engine mvstore. It doesn't free up the disk space after you delete entries. One thing you can do after cleanup is create a new database and copy the remaining data and delete the old file.

[hairinwind]

This is quite tricky. After copying the records to the new database, it is saved in the new file. If the service is restarted, it still point to the old database file...

Is there better solution?

[anidotnet]

After closing the database, before existing application you need to delete the old data file, rename the new file to the old name. In next start the new file will be opened.