diff --git a/.idea/libraries/Xerces.xml b/.idea/libraries/Xerces.xml index 3316044c840e..9263fefea8fd 100644 --- a/.idea/libraries/Xerces.xml +++ b/.idea/libraries/Xerces.xml @@ -1,14 +1,12 @@ - + - - \ No newline at end of file diff --git a/platform/util/src/org/w3c/dom/ElementTraversal.java b/platform/util/src/org/w3c/dom/ElementTraversal.java new file mode 100644 index 000000000000..98feab66cafc --- /dev/null +++ b/platform/util/src/org/w3c/dom/ElementTraversal.java @@ -0,0 +1,6 @@ +// Copyright 2000-2018 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 +public interface ElementTraversal extends org.apache.batik.w3c.dom.ElementTraversal { +} diff --git a/platform/util/src/org/w3c/dom/Location.java b/platform/util/src/org/w3c/dom/Location.java new file mode 100644 index 000000000000..9bb3d0c05da7 --- /dev/null +++ b/platform/util/src/org/w3c/dom/Location.java @@ -0,0 +1,6 @@ +// Copyright 2000-2018 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 +public interface Location extends org.apache.batik.w3c.dom.Location { +} diff --git a/platform/util/src/org/w3c/dom/Window.java b/platform/util/src/org/w3c/dom/Window.java new file mode 100644 index 000000000000..a093af336347 --- /dev/null +++ b/platform/util/src/org/w3c/dom/Window.java @@ -0,0 +1,6 @@ +// Copyright 2000-2018 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 +public interface Window extends org.apache.batik.w3c.dom.Window { +}