Remove unnecessary sun.misc imports

Author: peterschrammel

src/main/java/java/lang/Math.java

@@ -26,8 +26,8 @@
 package java.lang;
 import java.util.Random;
 
-import sun.misc.FloatConsts;
-import sun.misc.DoubleConsts;
+// import sun.misc.FloatConsts;
+// import sun.misc.DoubleConsts;
 
 import org.cprover.CProver;