public static IntervalSet of(int a) {IntervalSet s = new IntervalSet();s.add(a);return s;}

public static Antlr4.Runtime.Misc.IntervalSet Of(int a){Antlr4.Runtime.Misc.IntervalSet s = new Antlr4.Runtime.Misc.IntervalSet();s.Add(a);return s;}
