Package org.graphstream.util.set