Testing the resulting WAR shows that the aspect is, in fact working, and that all the methods of my service class that I want to be point cuts are point cuts.
I conclude that this is actually a flaw in the Eclipse Spring plug-in: it does not show all the join points when a @Pointcut
matches multiple locations, but instead shows only one, which it chooses somewhat arbitrarily.