code: public List<IVdmSourceUnit> getSpecFiles() throws CoreException
  	{
  		List<IVdmSourceUnit> list = new Vector<IVdmSourceUnit>();
  		IContentTypeManager contentTypeManager = Platform.getContentTypeManager();
  		for (String contentTypeId : language.getContentTypes())
  		{
  			for (IVdmSourceUnit iVdmSourceUnit : getFiles(contentTypeManager.getContentType(contentTypeId)))
  			{
  				if(!list.contains(iVdmSourceUnit))
  				{
  					list.add(iVdmSourceUnit);
  				}
  			}
  		}
  
  		return list;
  	}
docs: *
  Get files from a eclipse project
  
  @param project
  the project to scan
  @param contentTypeId
  of the type of files that should be returned
  @return a list of IFile
  @throws CoreException