Index: applications/editors/josm/plugins/navigator/build.xml
===================================================================
--- applications/editors/josm/plugins/navigator/build.xml	(revision 3750)
+++ applications/editors/josm/plugins/navigator/build.xml	(revision 3751)
@@ -22,9 +22,8 @@
 
 	<target name="dist" depends="compile,site">
-		<!-- images 
+		<!-- images -->
 		<copy todir="${plugin.build.dir}/images">
 			<fileset dir="src/images" />
 		</copy>
-		-->
 			<!-- copy configuration xml files 
 		<copy todir="${plugin.build.dir}">