println("!!! failed testing JDO constructor");
return ERROR;
}
//verbose("check jdoFlags ...");
if (pc.jdoGetFlags() != 1) {
println("!!! ERROR: invokation of JDO constructor:");
println(" pc.jdoFlags != 0");
println("!!! failed testing JDO constructor");
return ERROR;
}