import java.util.HashSet;

public class Bug301<A> extends HashSet<A> {
}