--- a/jdk/src/share/classes/sun/security/x509/CRLExtensions.java	Wed Jul 05 19:43:07 2017 +0200
+++ b/jdk/src/share/classes/sun/security/x509/CRLExtensions.java	Fri May 30 15:46:12 2014 -0400
@@ -185,7 +185,7 @@
         String name;
         String id = attr.getPrefix();
         if (id.equalsIgnoreCase(X509CertImpl.NAME)) { // fully qualified
-            int index = alias.lastIndexOf(".");
+            int index = alias.lastIndexOf('.');
             name = alias.substring(index + 1);
         } else
             name = alias;