java - Java MapDB：如何处理“已经打开”的异常？

Question

我是在 Java 中使用 MapDB 的新手。

import org.mapdb.*;

void foo ()
{
  DB db = DBMaker.fileDB ("map.db").make ();

  // some code

  db.close ();
}

如果程序在“某些代码”中崩溃，那么 make() 会抛出异常。

File is already opened and is locked: map.db

我该如何处理？必须有一种方法可以使程序崩溃，并且我可以解锁 MapDB 而不删除它（在不同的程序启动之间以及不同的 foo 调用之间）。

问题不在于异常处理和避免崩溃！在某些情况下，DB 不会安全关闭（例如 poweroff、kernel、JVM，...）。

谢谢！