// Restore original timezone settings
        TimeZone.setDefault(originalTimeZone);
        if (originalProvider != null) {
            DBFluteSystem.unlock();
            DBFluteSystem.setFinalTimeZoneProvider(originalProvider);
            DBFluteSystem.lock();
        }
        super.tearDown();
    }

    public void test_hook_setsTimeZoneProvider() {
        // Given