Removed unused subtree (which probably does not compile anymore)