htdig3/db/docs/api_java/DbRunRecoveryException
