Moving recursive lookup for defineClass0 just in the native method itself; messing...

[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / lang / ClassLoaderTest.java

diff --git a/src/tests/gov/nasa/jpf/test/java/lang/ClassLoaderTest.java b/src/tests/gov/nasa/jpf/test/java/lang/ClassLoaderTest.java
index 5e164fc7375eb1ae3096ce6ea15d632abeefe320..5899d2bb2733a6eab5b9d5f2e7225cf015e3beec 100644 (file)
--- a/src/tests/gov/nasa/jpf/test/java/lang/ClassLoaderTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/lang/ClassLoaderTest.java
@@ -6,13 +6,13 @@
  * The Java Pathfinder core (jpf-core) platform is licensed under the
  * Apache License, Version 2.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
- * 
- *        http://www.apache.org/licenses/LICENSE-2.0. 
+ *
+ *        http://www.apache.org/licenses/LICENSE-2.0.
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and 
+ * See the License for the specific language governing permissions and
  * limitations under the License.
  */
 package gov.nasa.jpf.test.java.lang;
@@ -30,7 +30,7 @@ import org.junit.Test;
  * test of java.lang.ClassLoader API
  */
 public class ClassLoaderTest extends TestJPF {
-  
+
   @Test
   public void testGetResource() {
     if(verifyNoPropertyViolation()) {
@@ -128,7 +128,7 @@ public class ClassLoaderTest extends TestJPF {
   public void testFoundResources() throws IOException {
     if(verifyNoPropertyViolation()) {
       TestClassLoader classLoader = new TestClassLoader();
-      Enumeration<URL> enm = classLoader.findResources("not_existing_resource"); 
+      Enumeration<URL> enm = classLoader.findResources("not_existing_resource");
       assertNotNull(enm);
       assertFalse(enm.hasMoreElements());
     }
@@ -168,7 +168,7 @@ public class ClassLoaderTest extends TestJPF {
   }
 
   class TestClassLoader extends ClassLoader {
-      
+
     public TestClassLoader() {
       super();
     }
@@ -178,8 +178,8 @@ public class ClassLoaderTest extends TestJPF {
     }
 
     @Override
-       protected Enumeration<URL> findResources(String name) throws IOException {
+    protected Enumeration<URL> findResources(String name) throws IOException {
       return super.findResources(name);
     }
   }
-}
+}
\ No newline at end of file