code: public static File prepareCustomOvertureProperties(IVdmProject project,
  			ILaunchConfiguration configuration) throws CoreException
  	{
  		List<String> properties = new Vector<String>();
  
  		if (VdmDebugPlugin.getDefault().getPreferenceStore().getBoolean(IDebugPreferenceConstants.PREF_DBGP_ENABLE_EXPERIMENTAL_MODELCHECKER))
  		{
  			properties.add(getProbHomeProperty());
  		}
  
  		return writePropertyFile(project, "overture.properties", properties);
  	}
docs: Create the custom overture.properties file loaded by the debugger
  @param project
  @param configuration a configuration or null
  @return
  @throws CoreException