Re: [aur-requests] [PRQ#9460] Deletion Request for jre-devel