Re: RFR: 8196334: Optimize UUID#fromString