code: public ISourceParser getSourceParser(IVdmProject project)
  			throws CoreException
  	{
  		IConfigurationElement[] config = Platform
  				.getExtensionRegistry()
  				.getConfigurationElementsFor(ICoreConstants.EXTENSION_PARSER_ID);
  
  		IConfigurationElement selectedParser = getParserWithHeighestPriority(
  				project.getVdmNature(), config);
  
  		if (selectedParser != null)
  		{
  			final Object o = selectedParser.createExecutableExtension("class");
  
  			if (o instanceof AbstractParserParticipant)
  			{
  				AbstractParserParticipant parser = (AbstractParserParticipant) o;
  
  				parser.setProject(project);
  
  				return parser;
  			}
  
  		}
  		return null;
  
  	}
docs: Loads a source parser for the given project
  
  @param project
  the project to load the source parser for
  @return a valid source parser for the current project based on the
  highest priority parser available from the nature, or null if no
  parser could be found
  @throws CoreException