Removing and re-adding database with same folder path does not work properly

Bắt đầu với quy trình xóa và thêm lại cơ sở dữ liệu của tiện ích mở rộng VS Code, sử dụng các bước tái hiện được đánh số để quan sát trạng thái cũ. Tái hiện lỗi codeql-zip-archive sau khi tạo lại cơ sở dữ liệu, sau đó xác minh rằng có thể mở lại các tệp nguồn và kết quả truy vấn mà không giữ lại trạng thái từ cơ sở dữ liệu trước đó.

Version
Extension 1.4.5
CodeQL CLI 2.5.1

Describe the bug
Removing a database after having run queries on it and viewed ASTs and then re-adding a different database at the same file system location (e.g. because you made changes to the source code and then created the database again) prevents browsing the source code of that database.

To Reproduce

1. Create a folder test-db
2. In that folder create a Test.java file with this content:

   class Test {
   }
   

3. Run

   codeql database create --language=java --source-root=. "--command=javac *.java" db
   

4. In VSCode add the test-db/db folder as database
5. Run any query, e.g.:

   import java
   
   from Class c
   where c.fromSource()
   select c
   

6. Click on the result to open the .java source
7. Run "View AST"
8. Optional: Close the .java file and remove the AST view and the query result from the list
9. Use "Remove Database"
10. Make a change to the Test.java file:

    class Test {
        void someMethod() { }
    }
    

11. Delete the test-db/db folder and create the database again:

    codeql database create --language=java --source-root=. "--command=javac *.java" db
    

12. In VSCode add the database again
13. Run any query again, and click on the result
    ❌ Nothing happens; the CodeQL Query Server output contains:

    Unable to handleMsgFromView: cannot open codeql-zip-archive://1-51/#REDACTED#%5Ctest-db%5Cdb%5Csrc.zip/#REDACTED#/test-db/Test.java. Detail: Unable to read file 'codeql-zip-archive://1-51/#REDACTED#\test-db\db\src.zip/#REDACTED#/test-db/Test.java' (Error: unexpected end of file)
    

    Similarly, clicking on the Test.java source file in the files explorer of VSCode causes a similar error.

Note: Steps 5 - 8 (inclusive) might not be needed to reproduce this.

Expected behavior
When re-adding a database for which a database with the same folder path existed previously, all state of that previous database should be removed.

Removal of previous database state could happen either when the database is removed, or when a database with the same folder path is re-added. Maybe it would be better to only perform this when re-adding the database (instead of on removal) to allow the user to still view some information after the database has been removed (might be useful when importing test databases).