org.aspectj/tests/bugs/interfaceITDs/PackagePublic.java

interface PackagePublic {
	//empty interface
}


//aspectj introduce a method to this interface
 privileged aspect aspectWorld {
	public abstract void PackagePublic.world();
}

//class test implements hello interface, and
//method world
 class test implements PackagePublic{
    
	public void world() {
		 System.out.println("hello");
	}
	
	public static void main(String[] args) {
		test t = new test();
		t.world();
	}
}