package testing; import testing.rename.*; class JavaClient { public void foo(AP ap, DP dp) { ap.getSecond(); new BP().getSecond(); new CP().getSecond(); dp.getSecond(); new EP().getSecond(); new FP().getSecond(); } public interface DP extends AP { } public static class EP implements DP { @Override public int getSecond() { return 3; } } public static class FP extends EP { @Override public int getSecond() { return 4; } @Override public void setSecond(int value) { } } }