code: public boolean hasBuilder() throws CoreException
  	{
  		Vector<ICommand> buildCommands = new Vector<ICommand>();
  		IProjectDescription description = project.getDescription();
  		for (ICommand command : description.getBuildSpec())
  		{
  			buildCommands.add(command);
  			if (command.getBuilderName().equals(ICoreConstants.BUILDER_ID))
  				return true;
  		}
  		return false;
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.utility.IVdmProject1#hasBuilder()