Using KeybordFocusManager.addPropertyChangeListener(...) adds
a permanent listener, that want be garbage collected until it is
removed. The listener in BdvDefaultCards now uses weak references
and removes itself if no longer needed.