A tour de force in Java trees