import EDU.neu.ccs.demeter.dj.*;

class Empty extends Any_vertex_list {}