}
} else if (element instanceof FileStoreEditorInput) {
// a file that is not part of the current workspace
FileStoreEditorInput fileStoreEditorInput = (FileStoreEditorInput) element;
document = createHdlDocument(null, null);
FileInputStream contentStream = null;
URI uri = fileStoreEditorInput.getURI();
if (uri != null && uri.getScheme().equals("file")) {
String filename = uri.getPath();
try {
contentStream = new FileInputStream(filename);
setDocumentContent(document, contentStream,