synced with the latest Jenkins version