code: public static IVdmProject createProject(String projectName, URI location,
  			String nature) throws CoreException, NotAllowedException
  	{
  		Assert.isNotNull(projectName);
  		Assert.isTrue(projectName.trim().length() > 0);
  
  		IProject project = createBaseProject(projectName, location);
  		try
  		{
  			addNature(project, nature);
  
  			//String[] paths = { };//"parent/child1-1/child2", "parent/child1-2/child2/child3" }; //$NON-NLS-1$ //$NON-NLS-2$
  			// addToProjectStructure(project, paths);
  		} catch (CoreException e)
  		{
  			VdmCore.log("VdmProject createProject", e);
  			project = null;
  		}
  
  		return new VdmProject(project);
  	}
docs: For this marvelous project we need to: - create the default Eclipse project - add the custom project nature -
  create the folder structure
  
  @param projectName
  @param location
  @param natureId
  @return
  @throws NotAllowedException
  @throws CoreException