moving JPF-specific classes to jpf module, added jpf dependency to demo