In process of breaking up coolTree.java and reorganizing. This fixes a
bug in the previous release. Consider as hot fix.