javapathfinder/jpf-core architecture