Index: applications/editors/josm/plugins/pluginmanager/build.xml
===================================================================
--- applications/editors/josm/plugins/pluginmanager/build.xml	(revision 5147)
+++ applications/editors/josm/plugins/pluginmanager/build.xml	(revision 5153)
@@ -1,3 +1,12 @@
 <project name="pluginmanager" default="dist" basedir=".">
+
+  <!-- compilation properties -->
+  <property name="josm.build.dir"	value="../../core"/>
+  <property name="josm.home.dir"	value="${user.home}/.josm"/>
+  <property name="josm"			location="../../core/dist/josm-custom.jar" />
+  <property name="plugin.build.dir"	value="build"/>
+  <property name="plugin.dist.dir"	value="../dist"/>
+  <property name="plugin.name"		value="${ant.project.name}"/>
+  <property name="plugin.jar"		value="../dist/${plugin.name}.jar"/>
 
   <!-- compilation properties -->
@@ -68,5 +77,5 @@
     <delete dir="${plugin.build.dir}" />
     <delete dir="${plugin.site.file}" />
-    <delete dir="${plugin.jar}" />
+    <delete file="${plugin.jar}" />
   </target>