mvnprove: fix bugs in PMpost / PMpre
mvnprove: fix bugs in PMpost / PMpre

quattor/maven-tools,jouvin/maven-tools,jouvin/maven-tools,quattor/maven-tools,jouvin/maven-tools,quattor/maven-tools,jouvin/maven-tools,quattor/maven-tools