added a toString method to AdjustableSemaphore