X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=examples%2FClassDemo.java;h=0a76996010bba55c2e68ac34b9fd583028969229;hb=2e1ede99e28cc7890562ec5c3b6b14a3ccf5429b;hp=e0a5c4df19c9dca588331a5d094cb782690c56d8;hpb=73fe7b28c24f2ebf671dbd724e5954f0378c679d;p=jpf-core.git

diff --git a/examples/ClassDemo.java b/examples/ClassDemo.java
index e0a5c4d..0a76996 100644
--- a/examples/ClassDemo.java
+++ b/examples/ClassDemo.java
@@ -1,6 +1,7 @@
 import java.lang.*;
 import java.lang.reflect.*;
 import java.util.*;
+import java.math.*;
 
 public class ClassDemo {
 
@@ -10,5 +11,8 @@ public class ClassDemo {
       TypeVariable[] tValue = List.class.getTypeParameters();
       //System.out.println(tValue[0].getName());
 	  System.out.println(tValue[0]);
+	  
+	  BigInteger bi = new BigInteger("-1");
+	  System.out.println(bi);
    }
-} 
\ No newline at end of file
+}