code: public List<IVdmSourceUnit> getFiles(IContentType iContentType)
  			throws CoreException
  	{
  		List<IVdmSourceUnit> list = new Vector<IVdmSourceUnit>();
  
  		for (IContainer container : modelpath.getModelSrcPaths())
  		{
  			if (!container.exists() || !container.isAccessible())
  			{
  				continue;
  			}
  			for (IResource res : container.members(IContainer.INCLUDE_PHANTOMS
  					| IContainer.INCLUDE_TEAM_PRIVATE_MEMBERS))
  			{
  				list.addAll(ResourceManager.getInstance().getFiles(this, res, iContentType));
  			}
  		}
  
  		return list;
  	}
docs: *
  Get files from a eclipse project
  
  @param project
  the project to scan
  @param iContentType
  of the type of files that should be returned
  @return a list of IFile
  @throws CoreException