In the aspect description, synchronize() has an empty body. However, the AspectJ compiler will fill its body with code that establishes the binding between the collection instance and a newly created aspect instance.