make synchronization lock final