Fixing the ClassLoader.defineClass() method issue that could not find the necessary...

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_ClassLoader.java

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 4fd6a25401a22126020dc6579607a49e6e2502f4..136c12e082c0afeea6f6d3db3bbccb34f6fe1927 100644 (file)
--- 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