Utilities when making use of trees in Java.