[Javapathfinder-devel] Problem with peer classes.

[Mateusz U. <mat...@gm...>]

Hi,

        In my project (implementing java.util.concurrent) I've 
encountered a problem. We have one example
that runs ReentrantLock.lock()/unlock() in few concurrent threads, we 
use this to test our performance
against code from original SDK. When we want to test code from SDK we 
need to change the names
of our classes, for example JPF_java_util_concurrent_locks_ReentrantLock 
to JPF_java_util_concurrent_locks_ReentrantLock2.
We could avoid this by setting appropriate vm.peer.packages but the 
problem is that our peer classes
are in gov.nasa.jpf.jvm package which is always included. One thing that 
we can do is to change the
package from gov.nasa.jpf.jvm but it seems that my code will not be 
complaint with JPF coding conventions.
Is there a another solution for that ?

Yours sincerely
   
    Mateusz Ujma - GSoC student