Fixing a potential bug: if statement that contains updateBacktrackSetsFromGraph was...

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

diff --git a/examples/SunClassLoader.java b/examples/SunClassLoader.java
index 7d022c65a9a15ccac930e3d3ed1ac47b7307ef0d..88aa81e84ee101d5d4379a2436c715e6df3b05ee 100644 (file)
--- a/examples/SunClassLoader.java
+++ b/examples/SunClassLoader.java
@@ -28,14 +28,15 @@ public class SunClassLoader extends ClassLoader implements Opcodes {
     protected void define(byte[] bytes, final String name) {
         //knownClasses.put(name, defineClass(name, bytes, 0, bytes.length));
         Class cls = defineClass(name, bytes, 0, bytes.length);
+        //Class cls2 = defineClass(name, bytes, 0, bytes.length);
     }
 
     protected final Map<String,Class> knownClasses = new HashMap<String,Class>();
 
-    public static void main(String[] args) {
+    public static void main(String[] args) throws Exception {
         SunClassLoader sun = new SunClassLoader();
         sun.loadMagic();
         
-        Class cls = sun.loadClass("java/lang/Object");
+        Class cls2 = sun.loadClass("java/lang/Object");
     }
 }