jre: upgrade to version 7u51