public void dispose(){
  if (keys != null) {
    keys.clear();
    keys=null;
  }
  super.dispose();
}

public void dispose ( ) { if ( keys != null ) { keys . clear ( ) ; keys = null ; } super . dispose ( ) ; }
dispose - free resources
