modified:   server/build.xml