On 29/10/2013 15:56, Chris Hegarty wrote:
Hi,This is a trivial change to revert the jdk/THIRD_PARTY_README file to a previous known good version.A recent push from Jim accidentally changed this file. I exchanged mail with him offline, and he is happy for me to revert it.
This looks fine. -Alan.