Tree {
{{
   void showTreesDJ(TraversalGraph treesOfInterest) {
   Visitor[] visitors = new Visitor[1];

   DisplayVisitorDJ s = new DisplayVisitorDJ();
   visitors[0] = (Visitor) s;
   treesOfInterest.traverse((Object) this, visitors);
   }
}}
}


DisplayVisitorDJ {
{{
   public void start() { System.out.println("begin"); }
   public void before(Tree o) { 
     System.out.println("DiplayVisitorDJ: before Tree " + o.get_l().get_v()); }
}}
}