Re: [Javapathfinder-user] New to PathFinder

[Peter C. M. <Pet...@na...>]

java.lang.ClassLoader is modeled (in env/..), and the model doesn't  
have a getSystemResource() method yet (getResource() is implemented).

-- Peter


On Mar 28, 2008, at 6:59 AM, Jorge Merlino wrote:
> Hi all,
>
> I'm trying to use pathfinder to debug some synchronization issues I  
> have with
> a java program. My problem is that I get this exception in the  
> third line of
> the program:
>
> gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
> java.lang.NoSuchMethodException:
> java.lang.ClassLoader.getSystemResource(Ljava/lang/String;)Ljava/ 
> net/URL;
>     at org.apache.log4j.helpers.Loader.getResource(Loader.java:124)
>     at org.apache.log4j.LogManager.<clinit>(LogManager.java:103)
>     at org.apache.log4j.Logger.getLogger(Logger.java:117)
>     at uy.com.teledata.jastserv.JastServ.main(JastServ.java:31)
>
> which is this:
>
> final Logger logger = Logger.getLogger(JastServ.class);
>
> As you see it is calling log4j and the exception appears inside  
> log4j code.
> Obviously I don't have such exception when running the program with  
> the sun
> jvm and the same classpath.
>
> Can anyone help me with this problem?
>
> Best regards
> 	Jorge
>
> ---------------------------------------------------------------------- 
> ---
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services for
> just about anything Open Source.
> http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/ 
> marketplace
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user