issue #19456: releaseLock to take options