rewrote timeout calibration in sandbox_manager() and updated copyright years in headers