fix an JDO exception