Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider...

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

diff --git a/examples/Reflection.java b/examples/Reflection.java
index 0918964c6fa547d29581b8c8518cffba5e5eefc9..e48689033dcff6b4f426824afdd9c6eee482ad3a 100644 (file)
--- a/examples/Reflection.java
+++ b/examples/Reflection.java
@@ -56,8 +56,12 @@ public class Reflection {
           
          //BigInteger bi = new BigInteger("-1");
          //System.out.println(bi);
+         StringBuilder sb = new StringBuilder(0);
+         sb.append('[');
+         sb.append(']');
+         System.out.println(sb.toString());
           
-         /* TODO: Enumerate all methods in Class.class */ 
+         /* TODO: Enumerate all methods in Class.class
       Method[] methods = Collection.class.getMethods();
       for(Method mth : methods) {
                  System.out.println("===========================");
@@ -69,7 +73,7 @@ public class Reflection {
                  System.out.println();
                  Type returnType = mth.getGenericReturnType();
                  System.out.println(returnType + "\n");
-      }
+      }*/
 
       /*Method[] methods = Collection.class.getMethods();
       //  Method[] methods = Class.class.getMethods();