diff --git a/build.xml b/build.xml index 6e04b38769..01a733e51d 100644 --- a/build.xml +++ b/build.xml @@ -528,7 +528,9 @@ - + + + @@ -1606,7 +1608,7 @@ - + @@ -1940,7 +1942,7 @@ - + diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index d1d8f87e4f..446f6dc268 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -167,7 +167,7 @@