[platform] migration to Java 11: remove classes from org.w3c.dom package (IDEA-241075)

Because they conflicts with classes from JDK. This should also fix IDEA-235927.

GitOrigin-RevId: 41a8cdd6c87b4032134f443f208a1eedd86d7693

diff --git a/platform/util/ui/src/org/w3c/dom/ElementTraversal.java b/platform/util/ui/src/org/w3c/dom/ElementTraversal.java
deleted file mode 100644 (file)
index 7abd492..0000000
--- a/platform/util/ui/src/org/w3c/dom/ElementTraversal.java
+++ /dev/null
@@ -1,7 +0,0 @@
-// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package org.w3c.dom;
-
-// Workaround for IDEA-193340
-@SuppressWarnings("unused")
-public interface ElementTraversal extends org.apache.batik.w3c.dom.ElementTraversal {
-}

diff --git a/platform/util/ui/src/org/w3c/dom/Location.java b/platform/util/ui/src/org/w3c/dom/Location.java
deleted file mode 100644 (file)
index 0605e47..0000000
--- a/platform/util/ui/src/org/w3c/dom/Location.java
+++ /dev/null
@@ -1,7 +0,0 @@
-// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package org.w3c.dom;
-
-// Workaround for IDEA-193340
-@SuppressWarnings("unused")
-public interface Location extends org.apache.batik.w3c.dom.Location {
-}

diff --git a/platform/util/ui/src/org/w3c/dom/Window.java b/platform/util/ui/src/org/w3c/dom/Window.java
deleted file mode 100644 (file)
index cb9e35b..0000000
--- a/platform/util/ui/src/org/w3c/dom/Window.java
+++ /dev/null
@@ -1,7 +0,0 @@
-// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package org.w3c.dom;
-
-// Workaround for IDEA-193340
-@SuppressWarnings("unused")
-public interface Window extends org.apache.batik.w3c.dom.Window {
-}