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.