[Javapathfinder-user] New to PathFinder

[Jorge M. <jor...@ip...>]

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