Remove unnecessary sun.* imports

Author: peterschrammel

src/main/java/java/lang/Class.java

@@ -28,8 +28,8 @@
 import java.util.HashMap;
 import java.util.Map;
 
-import sun.reflect.CallerSensitive;
-import sun.reflect.Reflection;
+// import sun.reflect.CallerSensitive;
+// import sun.reflect.Reflection;
 
 import org.cprover.CProver;
 import org.cprover.CProverString;

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;