--- build.xml.sav 2006-05-16 14:02:20.000000000 +0200 +++ build.xml 2006-05-31 16:07:18.000000000 +0200 @@ -225,6 +225,7 @@ depends="prepare" description="Create Javadoc documentation in the ./dist/javadoc directory"> <javadoc packagenames="${javadoc.packages}" + source="1.4" sourcepath="${src.dir}" destdir="${javadoc.dir}" classpathref="jg.classpath" @@ -339,6 +340,7 @@ description="Runs all unit tests in tests/junit and prints results to stdout"> <junit printsummary="yes" timeout="${unittest.timeout.low}" fork="yes"> <classpath refid="jg.classpath"/> + <jvmarg value="-Djava.net.preferIPv4Stack=true"/> <formatter type="brief" usefile="false"/> <batchtest todir="${tmp.dir}"> <fileset dir="${junit.dir}" @@ -354,7 +356,8 @@ <mkdir dir="${tmp.dir}/tests-results"/> <junit printsummary="yes" timeout="${unittest.timeout.low}" fork="yes"> <jvmarg value="-Dtests.tmp.dir=${tmp.dir}"/> - <jvmarg value="-Dlog4j.configuration=file:c:\log4j.properties"/> + <jvmarg value="-Dlog4j.configuration=file:${conf.dir}/log4j.properties"/> + <jvmarg value="-Djava.net.preferIPv4Stack=true"/> <classpath refid="jg.classpath"/> <formatter type="xml" usefile="true"/> <batchtest todir="${tmp.dir}/tests-results">