[platform] migration to Java 11: remove classes from org.w3c.dom package (IDEA-241075)
authorNikolay Chashnikov <Nikolay.Chashnikov@jetbrains.com>
Tue, 16 Jun 2020 12:09:28 +0000 (15:09 +0300)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Tue, 11 Aug 2020 17:11:21 +0000 (17:11 +0000)
commitadd210d4e00ead149507926e88ced859c35d59a1
tree5f33a3da561409de9f898a108c894d483fd579e8
parent394c49b67d265730ce5885c86aadb61bf066fc94
[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
platform/util/ui/src/org/w3c/dom/ElementTraversal.java [deleted file]
platform/util/ui/src/org/w3c/dom/Location.java [deleted file]
platform/util/ui/src/org/w3c/dom/Window.java [deleted file]