jre: update to 7u25.