[Javapathfinder-devel] update and JPF and Java 1.5

[Peter C. M. <pcm...@em...>]

I think I got most of the Java 1.5 problems sorted out - can you  
please start to use JPF (from CVS) on Java 1.5, so that I get a bit  
more testing before we make a new release?

-- Peter