6566676869707172737475
if (oldInput != null) ((CardPool)oldInput).deleteObserver(this); if (newInput != null) { CardPool pool = (CardPool)newInput; pool.addObserver(this); super.inputChanged(viewer, null, pool.getIndexSearcher()); } } }