https://dejavuhyo.github.io/posts/java-treeset/