import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
-import java.io.UnsupportedEncodingException;
import java.util.ArrayList;
import javax.xml.parsers.DocumentBuilder;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IPath;
-import org.eclipse.core.runtime.IStatus;
import org.eclipse.jface.preference.IPreferenceStore;
import org.w3c.dom.Attr;
import org.w3c.dom.Document;
}
} catch (IOException e) {
}
- }
+ }
}
}
public static void readFromStream(InputStream stream) throws CoreException {
try {
DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
DocumentBuilder parser = factory.newDocumentBuilder();
- org.apache.crimson.parser.Parser2 pp;
Document document = parser.parse(new InputSource(stream));
// Read in the Standard PHPSyntax "stuff"
NodeList elements = document.getElementsByTagName(PHPSYNTAX_TAG);