Re: webrev 7u12 8001103 (master bug ID : 8000518 )

Vicente, Is this a code review request or a push approval request? I couldn't determine from the subject line. [1] You can consider this approved from the push approval side. If the fix differs from that of jdk8 changeset, please ensure you have appropriate reviews obtained. [2] Please

hg: jdk7u/jdk7u-dev/hotspot: 2 new changesets

Changeset: 6c264aad54e4 Author:katleman Date: 2012-12-27 14:13 -0800 URL: http://hg.openjdk.java.net/jdk7u/jdk7u-dev/hotspot/rev/6c264aad54e4 Added tag jdk7u12-b07 for changeset 4f7ad6299356 ! .hgtags Changeset: 3bb803664f3d Author:lana Date: 2012-12-28 10:10 -0800 URL:

hg: jdk7u/jdk7u-dev: 4 new changesets

Changeset: c3e42860af1c Author:katleman Date: 2012-12-19 15:48 -0800 URL: http://hg.openjdk.java.net/jdk7u/jdk7u-dev/rev/c3e42860af1c Added tag jdk7u12-b06 for changeset a008905ce525 ! .hgtags Changeset: 94ab766d3e14 Author:katleman Date: 2012-12-27 14:13 -0800 URL:

hg: jdk7u/jdk7u-dev/jaxws: 4 new changesets

Changeset: 42ba62cdc1f3 Author:katleman Date: 2012-12-19 15:49 -0800 URL: http://hg.openjdk.java.net/jdk7u/jdk7u-dev/jaxws/rev/42ba62cdc1f3 Added tag jdk7u12-b06 for changeset 0bd50d31 ! .hgtags Changeset: 13bf4576371a Author:katleman Date: 2012-12-27 14:13 -0800

hg: jdk7u/jdk7u-dev/corba: 4 new changesets

Changeset: 7969d5f21924 Author:katleman Date: 2012-12-19 15:48 -0800 URL: http://hg.openjdk.java.net/jdk7u/jdk7u-dev/corba/rev/7969d5f21924 Added tag jdk7u12-b06 for changeset 16287175b517 ! .hgtags Changeset: be2266288279 Author:katleman Date: 2012-12-27 14:13 -0800

hg: jdk7u/jdk7u-dev/jdk: 5 new changesets

Changeset: cb81ee79a72d Author:katleman Date: 2012-12-19 15:49 -0800 URL: http://hg.openjdk.java.net/jdk7u/jdk7u-dev/jdk/rev/cb81ee79a72d Added tag jdk7u12-b06 for changeset b5449e3dcf1f ! .hgtags Changeset: cab621f3903f Author:katleman Date: 2012-12-27 14:13 -0800 URL: