jre: update to 1.7.0_72