i've changed
<property file="${user.home}/pvm/build.properties" />
to
<property file="${user.home}/jbpm/build.properties" />
because those properties are not just for the pvm module, but for all modules in all jbpm projects. normally you should not have to change the default values in those properties so you don't need to create such a file.