Re: [fedora-java] Proposal to deprecate _prefer_jre