shot in the dark to fix lombok issue #531. In general we were synchronizing on a public thingie and that is bad.