Index: /trunk/build.xml
===================================================================
--- /trunk/build.xml	(revision 3090)
+++ /trunk/build.xml	(revision 3091)
@@ -5,8 +5,8 @@
 **    ant clean
 **    ant dist
-** This will create 'josm-custom.jar'  in directory 'dist'. See also 
+** This will create 'josm-custom.jar'  in directory 'dist'. See also
 **   https://josm.openstreetmap.de/wiki/CreateBuild
-** 
-** 
+**
+**
 -->
 <project name="josm" default="dist" basedir=".">
@@ -30,5 +30,5 @@
 
 	<!--
-	  ** Used by Eclipse ant builder for updating 
+	  ** Used by Eclipse ant builder for updating
 	  ** the REVISION file used by JOSM
 	-->
@@ -58,8 +58,8 @@
 		<mkdir dir="${revision.dir}" />
 		<echo file="${revision.dir}/REVISION">
-# automatically generated by JOSM build.xml - do not edit 			
+# automatically generated by JOSM build.xml - do not edit
 Revision: ${version.entry.commit.revision}
 Is-Local-Build: true
-Build-Date: ${build.tstamp}		
+Build-Date: ${build.tstamp}
 </echo>
 	</target>
@@ -184,3 +184,35 @@
 	</target>
 
+	<target name="dist-optimized" depends="dist">
+		<taskdef resource="proguard/ant/task.properties" classpath="tools/proguard.jar" />
+		<proguard>
+	 	-injars dist/josm-custom.jar
+	 	-outjars dist/josm-custom-optimized.jar
+
+	 	-libraryjars ${java.home}/lib/rt.jar
+	 	-libraryjars ${java.home}/lib/jce.jar
+
+	 	-dontoptimize
+	 	-dontobfuscate
+
+	 	-keepclasseswithmembers public class org.openstreetmap.josm.gui.MainApplication {
+	 	    public static void main(java.lang.String[]);
+	 	}
+
+		-keep class JOSM
+	 	-keep class * extends org.openstreetmap.josm.io.FileImporter
+	 	-keep class * extends org.openstreetmap.josm.io.FileExporter
+	 	-keep class org.openstreetmap.josm.actions.search.SearchCompiler$Never
+
+	 	-keepclassmembers enum  * {
+	 	    public static **[] values();
+	 	    public static ** valueOf(java.lang.String);
+	 	}
+
+	 	-keepclassmembers class * {
+	 	    public protected *;
+	 	}
+		</proguard>
+	</target>
+
 </project>