I see that `TreeSet` is a typealias to `java.util....

# getting-started

[bod]

I see that TreeSet is a typealias to `java.util.TreeSet`… which does have a public default constructor