diff --git a/langtools/make/build.xml b/langtools/make/build.xml index 79bd060dd69..de67c9deda1 100644 --- a/langtools/make/build.xml +++ b/langtools/make/build.xml @@ -390,8 +390,8 @@ - + @@ -433,6 +433,7 @@ + @@ -471,6 +472,7 @@ + @@ -493,6 +495,7 @@ destdir="@{gensrc.dir}" includes="**/*.properties"/> @@ -562,7 +565,9 @@ -