diff --git a/build.xml b/build.xml index 3973689511..60b66fc89b 100644 --- a/build.xml +++ b/build.xml @@ -1300,6 +1300,13 @@ + + + diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index a2dea2a44e..150f1a08bd 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -167,7 +167,7 @@