Found a new case with Class<U> as a generic parameter.

[jpf-core.git] / examples / ClassDemo.java

diff --git a/examples/ClassDemo.java b/examples/ClassDemo.java
index e0a5c4df19c9dca588331a5d094cb782690c56d8..0a76996010bba55c2e68ac34b9fd583028969229 100644 (file)
--- 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
+}