#73 new method, AutoClosableSet.isEmpty