Upgraded openjdk to the latest version available in ports. 26_aug2013 7u40