public void dump() {
   if (jtCurrent != null) {
     System.out.println("Current junction tree");
     jtCurrent.dump();
   } else {
     System.out.println("NO current junction tree");
   }
 }