change snapshot format; added jpf config