no separate javaexec-script module?

[Paolo Bonzini]

gnulib has separate javacomp-script and javacomp module, but no 
distinction between javaexec-script and javaexec.

Does the attached patch to the module description files look correct?

Paolo

--- modules/javaexec.old        2006-09-27 13:39:19.000000000 +0200
+++ modules/javaexec    2007-01-16 08:28:46.000000000 +0100
@@ -1,11 +2,9 @@
 Description
 Find a Java virtual machine at run-time, and execute a Java program.
 
 Files:
-build-aux/javaexec.sh.in
 lib/javaexec.h
 lib/javaexec.c
-m4/javaexec.m4
 
 Depends-on:
 stdbool
@@ -18,10 +16,9 @@
 xallocsa
 error
 gettext-h
+javaexec-script
 
 configure.ac:
-# You need to invoke gt_JAVAEXEC yourself, possibly with arguments.
-AC_CONFIG_FILES([javaexec.sh:build-aux/javaexec.sh.in])
 
 Makefile.am:
 DEFS += -DEXEEXT=\"$(EXEEXT)\"
--- /dev/null   2007-01-16 08:22:21.000000000 +0100
+++ modules/javaexec-script     2007-01-16 08:29:27.000000000 +0100
@@ -0,0 +1,23 @@
+Description:
+Script to execute a Java program.
+
+Files:
+build-aux/javaexec.sh.in
+m4/javaexec.m4
+
+Depends-on:
+
+configure.ac:
+# You need to invoke gt_JAVAEXEC yourself, possibly with arguments.
+AC_CONFIG_FILES([javaexec.sh:build-aux/javaexec.sh.in])
+
+Makefile.am:
+
+Include:
+
+License:
+GPL
+
+Maintainer:
+Bruno Haible
+