Update tools/scripts/install-jdk.pl

Updated to JDK 7u13 for critical security patch. Fixed a few typos.