Added Keys(), and made the lock private.