diff -Nru javatools-0.72/debian/changelog javatools-0.72.1/debian/changelog
--- javatools-0.72/debian/changelog	2018-11-30 00:23:42.000000000 +0000
+++ javatools-0.72.1/debian/changelog	2018-11-30 14:09:30.000000000 +0000
@@ -1,3 +1,9 @@
+javatools (0.72.1) unstable; urgency=medium
+
+  * Fixed the installation of java-arch.sh
+
+ -- Emmanuel Bourg <ebourg@apache.org>  Fri, 30 Nov 2018 15:09:30 +0100
+
 javatools (0.72) unstable; urgency=medium
 
   * Remove obsolete fetch-eclipse-source script.
diff -Nru javatools-0.72/debian/javahelper.install javatools-0.72.1/debian/javahelper.install
--- javatools-0.72/debian/javahelper.install	2018-11-30 00:23:05.000000000 +0000
+++ javatools-0.72.1/debian/javahelper.install	2018-11-30 14:09:06.000000000 +0000
@@ -1,6 +1,6 @@
 # Internal helper command - not ready for /usr/bin
 eclipse_helper.pm /usr/share/perl5/Debian/Debhelper/Sequence
-ava-arch.sh /usr/share/javahelper
+java-arch.sh /usr/share/javahelper
 java-vars.mk /usr/share/javahelper
 javahelper.mk /usr/share/cdbs/1/class
 javahelper.pm /usr/share/perl5/Debian/Debhelper/Sequence