[Geoserver-devel] Building Revision 3746 - empty file

When building geoserver revision 3746, the following error is raised :
Buildfile: build.xml

init:

clean:
   [delete] Deleting 405 files from /home/ricci/src/geoserver/build
   [delete] Deleting: /home/ricci/src/geoserver/lib/geoserver.jar

all:
    [javac] Compiling 299 source files to /home/ricci/src/geoserver/build
    [javac] Note: * uses or overrides a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
     [copy] Copying 5 files to /home/ricci/src/geoserver/build
      [jar] Building jar: /home/ricci/src/geoserver/lib/geoserver.jar

release-war:

init:

all:
    [javac] Compiling 1 source file to /save/home/ricci/src/geoserver/build
    [javac] error: error reading
/home/ricci/src/geoserver/build/META-INF/services/org.vfny.geoserver.wfs.FeatureResponseDelegateProducerSpi;
java.util.zip.ZipException: error in opening zip file
    [javac] 1 error

BUILD FAILED
/home/ricci/src/geoserver/build.xml:777: The following error occurred while
executing this line:
/home/ricci/src/geoserver/build.xml:174: Compile failed; see the compiler
error output for details.

It seems that the
/home/ricci/src/geoserver/src/org/vfny/geoserver/wfs/responses/ShapefileFeatureResponseDelegateFactory.java
file is empty causing the above error.

didier