org.aspectj/tests/bugs1612/xmldefs/ConcreteWorld.aj

public aspect ConcreteWorld extends World {
    pointcut greeting() :
    	execution(* Hello.sayWorld(..))
    	|| execution(* Hello.sayHello(..));
}