JPF libs changes - simple ids