JPF properties file