public static IVdmProject getVdmProject(ExecutionEvent event) { ISelection selection = HandlerUtil.getCurrentSelection(event); if (!(selection instanceof IStructuredSelection)) { return null; } IStructuredSelection structuredSelection = (IStructuredSelection) selection; Object firstElement = structuredSelection.getFirstElement(); if (!(firstElement instanceof IProject)) { return null; } IProject project = (IProject) firstElement; IVdmProject vdmProject = (IVdmProject) project.getAdapter(IVdmProject.class); return vdmProject; }