Re: [weld-dev] update spec name on jcp.org