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