improve previous patch: actually synchronize all access to unopenedTypes.
1 file changed