diff options
Diffstat (limited to 'org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java')
-rw-r--r-- | org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java index 80617085f..23f4d7d97 100644 --- a/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java +++ b/org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching/PListParser.java @@ -97,7 +97,9 @@ public class PListParser { */ private Object parseXML(InputStream stream) throws CoreException, ParserConfigurationException, IOException, SAXException { Element root = null; - DocumentBuilder parser = DocumentBuilderFactory.newInstance().newDocumentBuilder(); + DocumentBuilderFactory documentBuilderFactory = DocumentBuilderFactory.newInstance(); + documentBuilderFactory.setFeature("http://apache.org/xml/features/nonvalidating/load-external-dtd", false); //$NON-NLS-1$ + DocumentBuilder parser = documentBuilderFactory.newDocumentBuilder(); parser.setErrorHandler(new DefaultHandler()); root = parser.parse(new InputSource(stream)).getDocumentElement(); if (!root.getNodeName().equalsIgnoreCase(PLIST_ELEMENT)) { |