import java.util.*;
public aspect Aspect extends GenericType<Set<String>> {}