Index: /trunk/build.xml
===================================================================
--- /trunk/build.xml	(revision 18179)
+++ /trunk/build.xml	(revision 18180)
@@ -509,6 +509,5 @@
         </jacoco:report>
     </target>
-    <!-- ProGuard does not woth with Java 17 yet: https://github.com/Guardsquare/proguard/issues/132 -->
-    <target name="dist-optimized" depends="dist" unless="isJava17" description="Build an optimized JOSM distribution file">
+    <target name="dist-optimized" depends="dist" description="Build an optimized JOSM distribution file">
         <ivy:cachepath log="download-only" file="${tools.ivy}" pathid="proguard.classpath" conf="proguard"/>
         <taskdef resource="proguard/ant/task.properties" classpathref="proguard.classpath"/>
Index: /trunk/tools/ivy.xml
===================================================================
--- /trunk/tools/ivy.xml	(revision 18179)
+++ /trunk/tools/ivy.xml	(revision 18180)
@@ -19,5 +19,5 @@
         <dependency org="com.puppycrawl.tools" name="checkstyle" rev="8.44" conf="checkstyle->default"/>
         <!-- proguard->default -->
-        <dependency org="com.guardsquare" name="proguard-ant" rev="7.1.1" conf="proguard->default"/>
+        <dependency org="com.guardsquare" name="proguard-ant" rev="7.2.0-beta2" conf="proguard->default"/>
         <!-- pmd->default -->
         <dependency org="net.sourceforge.pmd" name="pmd-core" rev="6.20.0" conf="pmd->default"/>