--- a/jdk/src/share/classes/sun/security/provider/Sun.java	Mon Sep 30 14:28:53 2013 +0200
+++ b/jdk/src/share/classes/sun/security/provider/Sun.java	Thu Sep 19 11:59:14 2013 -0700
@@ -47,7 +47,7 @@
 
     public Sun() {
         /* We are the SUN provider */
-        super("SUN", 1.8, INFO);
+        super("SUN", 1.8d, INFO);
 
         // if there is no security manager installed, put directly into
         // the provider. Otherwise, create a temporary map and use a