616617618619620621622623624625626
peerManagerAdded( Download download, final PeerManager peer_manager ) { peer_manager.addListener( new PeerManagerListener2() { public void eventOccurred( PeerManagerEvent event ) {