I've posted two more examples. The first demonstrates cflow. The second uses annotations to exclude pointcuts.
If you'd like to provide feedback, I'd appreciate it. I would especially like your opinion on which, if either, of the annotation examples you prefer. Same information, different order of presentation.
I'm working on a more comprehensive code base against which I'll have students design and then implement aspects. These examples, along with several others, form the building blocks with which students will be able to express their design intents.
Before I get to that, I'll add some other examples that use generics, among other things.
Thanks for having a look!