trying: added jpf-core v6