Deleting proofs pom file