Fix a bug in InstallCert when run under Java 7.