Fixing a AspectJ bug