fixed jpf-core