Andreas Enge writes: > So unless someone else objects, I intend to apply the patch, > build the > latest openjdk, and push it if everything goes well. Sounds good. I just looked over the patch, and while I’m not sure it’s the best way to do things (matching “openjdk” or “icedtea” in the package name seems a little error prone in the presence of packages whose names might include these strings), but I think it’s a definite improvement. Thank you Carlo! -- Ricardo