public void syncProjectResources()
	{
		if (!getProject().isSynchronized(IResource.DEPTH_INFINITE))
			try
			{
				getProject().refreshLocal(IResource.DEPTH_INFINITE, null);

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