From: rtrimana <rtrimana@uci.edu>
Date: Wed, 19 Jun 2019 18:21:06 +0000 (-0700)
Subject: First commit to JPF repo on PLRG server.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=eaae2a9cfcac9e0a9514b406d0fad650bb94c8e5;p=jpf-core.git

First commit to JPF repo on PLRG server.
---

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 8bead2e..88f41d5 100644
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -55,8 +55,8 @@ public class Reflection {
  
       }
       System.out.println();*/
-      //TypeVariable[] typeParameters = Generic.class.getTypeParameters();
-      TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
+      TypeVariable[] typeParameters = Generic.class.getTypeParameters();
+      //TypeVariable[] typeParameters = SampleClass.class.getTypeParameters();
       for(TypeVariable typeVar: typeParameters){
          System.out.println(typeVar);