Incorrect type resolution results in wrong method being called

[yuvaraj-anbarasan]

ClassLoader getResources method fails because of incorrect type resolution

java.lang.NoSuchMethodError: [Ljava.lang.String;.add(Ljava/lang/Object;)Z
	at java.lang.ClassLoader$0.accept
	at java.util.Iterator.forEachRemaining(Iterator.java:133)
	at java.lang.ClassLoader.getResources(ClassLoader.java:110)
	at java.lang.ClassLoader.getResources(ClassLoader.java:112)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResourcesImpl(ClassLoaderTest.java:147)
	at gov.nasa.jpf.test.java.lang.ClassLoaderTest.testGetResources(ClassLoaderTest.java:44)
	at java.lang.reflect.Method.invoke(gov.nasa.jpf.vm.JPF_java_lang_reflect_Method)
	at gov.nasa.jpf.util.test.TestJPF.runTestMethod(TestJPF.java:648)