import java.lang.reflect.*;
import java.io.*;
-public class ArrayBuildingTreeFunctor<T> implements Tree.TreeFunctor<T,T[]>, ToJava {
+public class ArrayBuildingTreeFunctor<T> implements TreeFunctor<T,T[]>, ToJava {
public void toJava(StringBuffer sb) { sb.append("new ArrayBuildingTreeFunctor()"); }
public String toString() { return ""; }