docs: private String getAntScriptValue() {
  		String antScriptText= fAntScriptNamesCombo.getText().trim();
  		if (antScriptText.indexOf('.') < 0)
  			antScriptText+= "." + ANTSCRIPT_EXTENSION; //$NON-NLS-1$
  		return antScriptText;
  	}