Index: /applications/editors/josm/plugins/navigator/build.xml
===================================================================
--- /applications/editors/josm/plugins/navigator/build.xml	(revision 5175)
+++ /applications/editors/josm/plugins/navigator/build.xml	(revision 5176)
@@ -79,5 +79,5 @@
     <delete dir="${plugin.build.dir}" />
     <delete dir="${plugin.site.file}" />
-    <delete dir="${plugin.jar}" />
+    <delete file="${plugin.jar}" />
   </target>