A red-black tree implemented in Java