code: public void syncProjectResources()
  	{
  		if (!getProject().isSynchronized(IResource.DEPTH_INFINITE))
  			try
  			{
  				getProject().refreshLocal(IResource.DEPTH_INFINITE, null);
  
  			} catch (CoreException e)
  			{
  				VdmCore.log("VdmCoreBuilder:syncProjectResources", e);
  			}
  	}
docs: *
  This method sync the project resources. It is called before an instance of the AbstractBuilder is created