[Javapathfinder-user] Build error

[Markeloff, R. <Ric...@sp...>]

I had no trouble checking out JPF from CVS, but when I attempt to do ant
run-tests I get the following error:

=20

    [javac]
/home/markelof/cdp2006/javapathfinder/src/gov/nasa/jpf/tools/SimpleIdleF
ilter.java:36: error: Class or interface `java.util.logging.Logger' not
found in import.

    [javac]    import java.util.logging.Logger;

    [javac]           ^

    [javac]
/home/markelof/cdp2006/javapathfinder/src/gov/nasa/jpf/tools/SimpleIdleF
ilter.java:48: error: Type `Logger' not found in declaration of field
`log'.

    [javac]      static Logger log =3D
JPF.getLogger("gov.nasa.jpf.tools.SimpleIdleFilter");

    [javac]             ^

    [javac]
/home/markelof/cdp2006/javapathfinder/src/gov/nasa/jpf/tools/IdleFilter.
java:36: error: Class or interface `java.util.logging.Logger' not found
in import.

    [javac]    import java.util.logging.Logger;

    [javac]           ^

    [javac]
/home/markelof/cdp2006/javapathfinder/src/gov/nasa/jpf/tools/IdleFilter.
java:58: error: Type `Logger' not found in declaration of field `log'.

    [javac]      static Logger log =3D
JPF.getLogger("gov.nasa.jpf.tools.IdleFilter");

    [javac]             ^

    [javac]
/home/markelof/cdp2006/javapathfinder/src/gov/nasa/jpf/search/AbstractSe
arch.java:0: internal compiler error: Segmentation fault

    [javac] Please submit a full bug report,

    [javac] with preprocessed source if appropriate.

    [javac] See <URL:http://bugzilla.redhat.com/bugzilla/> for
instructions.

=20

I have never encountered an error like this before. Is there really
something wrong with my java compiler, or is this perhaps caused by
something in build.xml?

=20

Thank you,

=20

Rich Markeloff

=20

________________________________

=20

Richard Markeloff

SPARTA, Inc.

1911 N. Fort Myer Dr., Suite 1100

Arlington, VA 22209

=20

Voice: 703 647 2414

Fax:    703 558 3410

=20