mapLicence(
Licence licence )
{
Licence existing_licence;
LicenceInstallationListener new_listener = null;
synchronized ( licence_map ){
String key = licence.getKey();
Object[] entry = licence_map.get( key );
if ( entry == null ){
existing_licence = null;
new_listener =
new LicenceInstallationListener()
{
FeatureManagerInstallWindow install_window = null;
public void start(String licence_key) {
if (DEBUG) {