Upgraded java to the 2013-05 release (1.6.0_65).