code: protected void unmapPlaceManager (PlaceManager pmgr)
      {
          int ploid = pmgr.getPlaceObject().getOid();
          // remove it from the table
          if (_pmgrs.remove(ploid) == null) {
              log.warning("Requested to unmap unmapped place manager", "pmgr", pmgr);
  
  //         } else {
  //             Log.info("Unmapped place manager [class=" + pmgr.getClass().getName() +
  //                      ", ploid=" + ploid + "].");
          }
      }
docs: Called by the place manager when it has been shut down.