public void dispose(){
  if (pingLabelsMap != null) {
    pingLabelsMap.clear();
    pingLabelsMap=null;
  }
  if (itemsManaged != null) {
    itemsManaged.clear();
    itemsManaged=null;
  }
  if (folders != null) {
    folders=null;
  }
  if (sashes != null) {
    sashes=null;
  }
}

public void dispose ( ) { if ( pingLabelsMap != null ) { pingLabelsMap . clear ( ) ; pingLabelsMap = null ; } if ( itemsManaged != null ) { itemsManaged . clear ( ) ; itemsManaged = null ; } if ( folders != null ) { folders = null ; } if ( sashes != null ) { sashes = null ; } }
disposes all the resources that will not be cleaned up when this window is closed .
