public static IntervalSet of(int a) {
		IntervalSet s = new IntervalSet();
        s.add(a);
        return s;
    }
Create a set with a single element, el.
runtime/Java/src/org/antlr/v4/runtime/misc/IntervalSet.java