public void mappingDestroyed(UPnPMapping mapping) { try { this_mon.enter(); mappings.remove(mapping); log.log("Mapping request removed: " + mapping.getString()); for (int j = 0; j < services.size(); j++) { UPnPPluginService service = (UPnPPluginService) services.get(j); service.removeMapping(log, mapping, false); } } finally { this_mon.exit(); } }