I should not be marked as part of the API, but this method is required for restarting, see line 210