diff --git a/langtools/make/build.xml b/langtools/make/build.xml index 1abad67a9df..d269f396534 100644 --- a/langtools/make/build.xml +++ b/langtools/make/build.xml @@ -322,6 +322,35 @@ datafile="${build.coverage.dir}/cobertura.ser"/> + + + + + + + + + + + + + + + +