Include libtools.rtree from the Java backend into the distribution