Adding JRE7 for linux 32 and 64 bit, having moved jre6 aside. Last time I made this change for linux in revisions 29373, 29374, I accidentally committed the changes to expeditee-release-kits.