code: public void leaveOccupiedPlace (BodyObject source)
      {
          Place oldloc = source.location;
          if (oldloc == null) {
              return; // nothing to do if they weren't previously in some location
          }
  
          PlaceManager pmgr = _plreg.getPlaceManager(oldloc.placeOid);
          if (pmgr == null) {
              log.warning("Body requested to leave no longer existent place?",
                          "boid", source.getOid(), "place", oldloc);
              return;
          }
  
          // tell the place manager that they're on the way out
          pmgr.bodyWillLeave(source);
  
          // clear out their location
          source.didLeavePlace(pmgr.getPlaceObject());
      }
docs: Removes the specified body from the place object they currently occupy. Does nothing if the
  body is not currently in a place.