[Javapathfinder-user] build failure

[Mark S. <ma...@or...>]

I am trying to run the Java pathfinder on a Linux system (Fedora Core 2) 
running java version 1.4.2_05.  When I follow the instructions to try to 
build the system, the ant compile-env-pf step fails with three errors, all
for files in env/jpf/java/lang:

in Class.java, line 44 - duplicate definition 'String name'
in Thread.java, lines 38 and 39: type ThreadLocal.ThreadLocalMap not found

Any idea what the problem might be?

Mark Saaltink