Hello, could you please review the following fix:
fix: http://cr.openjdk.java.net/~anashaty/6993873/7/webrev.00/ <http://cr.openjdk.java.net/%7Eanashaty/6993873/7/webrev.00/> bug: https://bugs.openjdk.java.net/browse/JDK-6993873<https://bugs.openjdk.java.net/browse/JDK-8025145>
This is actually a partial port of the JDK-6886678 <https://bugs.openjdk.java.net/browse/JDK-6886678> fix from jdk6 to jdk7 (the port had been made but not completely) Since jdk8 the problem is not reproducible since was fixed with the bug JDK-6981400 <https://bugs.openjdk.java.net/browse/JDK-6981400>, but again without backport to the jdk7.
Thanks! Anton.