diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..2d4595e
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,12 @@
+language: java
+
+script:
+  - mvn package
+
+notifications:
+  webhooks:
+    on_success: always
+    on_failure: always
+    on_start: never
+    on_cancel: never
+    on_error: always
diff --git a/src/main/java/java/lang/Character.java b/src/main/java/java/lang/Character.java
index c1d3f7a..8952165 100644
--- a/src/main/java/java/lang/Character.java
+++ b/src/main/java/java/lang/Character.java
@@ -25,6 +25,8 @@
 
 package java.lang;
 
+import org.cprover.CProver;
+
 import java.util.Arrays;
 import java.util.Map;
 import java.util.HashMap;
@@ -7217,19 +7219,21 @@ public static char reverseBytes(char ch) {
      * @since 1.7
      */
     public static String getName(int codePoint) {
-        if (!isValidCodePoint(codePoint)) {
-            throw new IllegalArgumentException();
-        }
-        String name = CharacterName.get(codePoint);
-        if (name != null)
-            return name;
-        if (getType(codePoint) == UNASSIGNED)
-            return null;
-        UnicodeBlock block = UnicodeBlock.of(codePoint);
-        if (block != null)
-            return block.toString().replace('_', ' ') + " "
-                   + Integer.toHexString(codePoint).toUpperCase(Locale.ENGLISH);
-        // should never come here
-        return Integer.toHexString(codePoint).toUpperCase(Locale.ENGLISH);
+        // if (!isValidCodePoint(codePoint)) {
+        //     throw new IllegalArgumentException();
+        // }
+        // String name = CharacterName.get(codePoint);
+        // if (name != null)
+        //     return name;
+        // if (getType(codePoint) == UNASSIGNED)
+        //     return null;
+        // UnicodeBlock block = UnicodeBlock.of(codePoint);
+        // if (block != null)
+        //     return block.toString().replace('_', ' ') + " "
+        //            + Integer.toHexString(codePoint).toUpperCase(Locale.ENGLISH);
+        // // should never come here
+        // return Integer.toHexString(codePoint).toUpperCase(Locale.ENGLISH);
+        CProver.notModelled();
+        return CProver.nondetWithoutNullForNotModelled();
     }
 }
diff --git a/src/main/java/java/lang/Class.java b/src/main/java/java/lang/Class.java
index 2685534..b8ad087 100644
--- a/src/main/java/java/lang/Class.java
+++ b/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;
@@ -179,16 +179,17 @@ public String getName() {
      * @see SecurityManager#checkPermission
      * @see java.lang.RuntimePermission
      */
-    @CallerSensitive
+    // @CallerSensitive
     public ClassLoader getClassLoader() {
-        ClassLoader cl = getClassLoader0();
-        if (cl == null)
-            return null;
-        SecurityManager sm = System.getSecurityManager();
-        if (sm != null) {
-            ClassLoader.checkClassLoaderPermission(cl, Reflection.getCallerClass());
-        }
-        return cl;
+        // ClassLoader cl = getClassLoader0();
+        // if (cl == null)
+        //     return null;
+        // SecurityManager sm = System.getSecurityManager();
+        // if (sm != null) {
+        //     ClassLoader.checkClassLoaderPermission(cl, Reflection.getCallerClass());
+        // }
+        // return cl;
+        return null;
     }
 
     ClassLoader getClassLoader0() {
diff --git a/src/main/java/java/lang/Math.java b/src/main/java/java/lang/Math.java
index 539b8d6..1779ff3 100644
--- a/src/main/java/java/lang/Math.java
+++ b/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;