svoid dm_releaseResource(AutoCloseable resource) {
  dm_current_mandatory._resources.remove(resource);
  close(resource);
}