Hans-Christoph Steiner c987e6ad4c
use Collections' isEmpty() to test for emptiness
This should make the code intent clearer and more standard Java.
2020-01-10 16:28:01 +01:00
..
2020-01-10 16:27:58 +01:00