Element element = (Element)elements.getFirstElement();  editor.openPage(element.getTypeName());
Object element = elements.getFirstElement(); if (element instanceof Element) { editor.openPage(((Element)element).getTypeName()); } else if (element instanceof Module) { editor.openPage(element.toString()); }
	public void doubleClick(DoubleClickEvent event)	{		ISelection selection = event.getSelection();		if (selection instanceof IStructuredSelection)		{			IStructuredSelection elements = (IStructuredSelection)selection;			if (elements.size() == 1)			{				Element element = (Element)elements.getFirstElement();				// System.out.println("open " + element.getTypeName());				editor.openPage(element.getTypeName());			}		}	}