RoleSet.java

package org.batfish.datamodel.collections;

import java.util.TreeSet;

public class RoleSet extends TreeSet<String> {

   /**
    *
    */
   private static final long serialVersionUID = 1L;

}