From: rtrimana <rtrimana@uci.edu>
Date: Wed, 19 Jun 2019 17:53:11 +0000 (-0700)
Subject: First commit to PLRG Git repo.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=dbc00860f3ab746797aa9c12329da0762c05f72a;p=jpf-core.git

First commit to PLRG Git repo.
---

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 88f41d5..8bead2e 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);