Fixed small bug preventing jenkins server preference save