public static class BuiltTests extends TestCase {
public static Test suite() {
TestSuite suite = new TestSuite();
suite.addTest(NavigableSetTestSuiteBuilder.using(
new ContiguousSetGenerator())
.named("Range.asSet")
.withFeatures(CollectionSize.ANY, KNOWN_ORDER, ALLOWS_NULL_QUERIES,
NON_STANDARD_TOSTRING, RESTRICTS_ELEMENTS)
.suppressing(getHoleMethods())
.createTestSuite());