[Javapathfinder-devel] property name change

[Peter C. M. <Pet...@na...>]

for consistency reasons, rev 1057 changed the "vm.peer_packages"  
property into "vm.peer.packages". Please update your Eclipse launch  
configs and *.jpf mode property files accordingly.

Sorry for the inconvenience. It's all in the name of extension  
mechanism specific classpaths for listeners, peers and instructions,  
which are now supported via

  jpf.listener.classpath
  vm.peer.classpath
  vm.insn_factory.classpath

Now you should be able to have your extensions outside of the JPF  
distrib and/or SuT project.

-- Peter