On 03/07/2014 11:12, Peter Levart wrote:
We can close JDK-7186258 as a dup once the JDK-8049228 has been reviewed + pushed.I have filed a RFE that is more suitable for this change: https://bugs.openjdk.java.net/browse/JDK-8049228So, is it strictly necessary to fix JDK-7186258 alone before applying the change for JDK-8049228 although it would supersede it?
-Alan