Uses of Record Class
org.jhotdraw8.icollection.impl.redblack.Option.Some

No usage of org.jhotdraw8.icollection.impl.redblack.Option.Some