X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fpeers%2Fgov%2Fnasa%2Fjpf%2Fvm%2FJPF_java_lang_ClassLoader.java;h=136c12e082c0afeea6f6d3db3bbccb34f6fe1927;hp=4fd6a25401a22126020dc6579607a49e6e2502f4;hb=e6b512b8180176104b22dfbd2eb23aefab7b49d6;hpb=e9116bac18b5218e6fbe81101de1575ddb94a8f0

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java
index 4fd6a25..136c12e 100644
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java
@@ -144,9 +144,10 @@ public class JPF_java_lang_ClassLoader extends NativePeer {
     byte[] buffer = env.getByteArrayObject(bufferRef);
     
     try {
+
       ClassInfo ci = cl.getResolvedClassInfo( cname, buffer, offset, length);
 
-      // Note: if the representation is not of a supported major or minor version, loading 
+      // Note: if the representation is not of a supported major or minor version, loading
       // throws an UnsupportedClassVersionError. But for now, we do not check for this here 
       // since we don't do much with minor and major versions