Basic JPF support for the new jdeeco. Small updates in jdeeco-core to
make it run in JPF.