htdig3/db/docs/api_java/DbException
