303304305306307308309310311312313
}); crypto = CryptoManagerFactory.getSingleton(); crypto.addKeyListener( new CryptoManagerKeyListener() { public void keyChanged( CryptoHandler handler ) {