if (!this.isPatchInstalled()) { IMarker aMarker = null; try { aMarker = this.getBuildfileMarker(); aMarker.setAttribute(IMarker.MESSAGE, informUserString); } catch (Exception e) { WOLipsLog.log(e); } finally { aMarker = null; } }
	private void execute(		int kind,		Map args,		IProgressMonitor monitor,		String aBuildFile)		throws Exception {		RunAnt runAnt = new RunAnt();		if (Preferences			.getBoolean(IWOLipsPluginConstants.PREF_RUN_ANT_AS_EXTERNAL_TOOL)) {			if (projectNeedsClean())				runAnt.asExternalTool(					getProject().getFile(aBuildFile),					kind,					monitor,					this.cleanTarget());			runAnt.asExternalTool(				getProject().getFile(aBuildFile),				kind,				monitor,				this.defaultTarget());		} else {			if (projectNeedsClean())				runAnt.asAnt(					getProject().getFile(aBuildFile).getLocation().toOSString(),					monitor,					this.cleanTarget());			runAnt.asAnt(				getProject().getFile(aBuildFile).getLocation().toOSString(),				monitor,				this.defaultTarget());		}		runAnt.waitUntilAntFinished();	}