diff --git a/java/dist/build.xml b/java/dist/build.xml index 7e00380a40a..d7ee0756bb0 100644 --- a/java/dist/build.xml +++ b/java/dist/build.xml @@ -46,7 +46,8 @@ - + + @@ -92,15 +93,16 @@ + basedir="${dist.base}" /> - + +