X.java

package test.mixed;

public class X extends W {
	@Override
	public void a() {
	}
}