updated with jpf-classes jar