package p; class EmptyValueIterator extends A implements ValueIterator { } interface ValueIterator extends I {}