A tour de force in java trees