return getCurrentTreePanel().getCurrentExternalNodesDataBufferAsString();
}
- public int getCurrentExternalNodesDataBufferCounter() {
+ public int getCurrentExternalNodesDataBufferChangeCounter() {
return getCurrentTreePanel().getCurrentExternalNodesDataBufferChangeCounter();
}