}
int k = pm.getPropertyNames().size();
System.out.println("counter " + counter + ", num properties " + k);
System.out.println(pm.findProperty(
SpiConstants.PROPNAME_DISPLAYURL).nextValue());
push.take(pm);
}
String checkpoint = "";
if (counter != 0) {
System.out.println("appel checkpoint");
checkpoint = documentList.checkpoint();