--- old/make/idea/build.xml 2020-04-29 12:10:44.820610878 +0200
+++ /dev/null 2020-02-11 10:29:13.086348146 +0100
@@ -1,42 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
--- /dev/null 2020-02-11 10:29:13.086348146 +0100
+++ new/make/ide/idea/jdk/build.xml 2020-04-29 12:10:44.376610881 +0200
@@ -0,0 +1,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+